| 不等式自动发现与判定程序agl2012功能的若干拓展 |
| |
| 引用本文： | 刘保乾.不等式自动发现与判定程序agl2012功能的若干拓展[J].广东教育学院学报,2014(5):28-35. |
| |
| 作者姓名： | 刘保乾 |
| |
| 作者单位： | 西藏自治区组织编制信息管理中心,西藏拉萨850000 |
| |
| 摘 要： | 对不等式自动发现与判定程序agl2012进行了新的完善和补充,拓展了部分功能;介绍了程序使用的一些技巧;给出了大量的自动发现实例.
|
| 关 键 词： | 不等式自动发现 agl程序 机器证明 |
Some Extensions of Inequality＇s Program Agl2012 for Discovery and Decision |
| |
| LIU Bao-qian.Some Extensions of Inequality＇s Program Agl2012 for Discovery and Decision[J].Journal of Guangdong Education Institute,2014(5):28-35. |
| |
| Authors: | LIU Bao-qian |
| |
| Institution: | LIU Bao-qian (Tibet Autonomous Region Information Management Center of Authorized Strength＇ Organization, Lhasa, Tibet, 850000, P.R.China) |
| |
| Abstract: | Some improvements ＆supplements of inequality＇s program ag12012 for discovery and decision are carried out, and some program＇s functions are extended. At the same time, some skills regarding operating program are discussed, and a lot of examples are posed on the basis of program. |
| |
| Keywords: | automated inequality discovering program ag12012 automated theorem proving |
| 本文献已被 CNKI 维普 等数据库收录！ |
