不等式自动发现与判定程序agl2012功能的若干拓展.pdfVIP

不等式自动发现与判定程序 agl２０１２ 功能的若干拓展 刘保乾 (西藏自治区组织编制信息管理中心,西藏 拉萨 ８５００００) 摘要:对不等式自动发现与判定程序 agl２０ １ ２ 进行了新的完善和补充,拓展了部分功能;介绍 了程序使用的一些技巧;给出了大量的自动发现实例． 关键词:不等式自动发现;agl２０ １ ２ 程序;机器证明 中图分类号:O ２２．３ 文献标识码:A 文章编号:２０９ ５- ３ ７ ９８(２０ ４)０５- ００２８- ０８ 收稿日期:２０ ４-０８- ６ 作者简介:刘保乾,男,陕西凤翔人,西藏自治区组织编制信息管理中心工作人员． 本文旨在介绍不等式自动发现与判定程序 agl２０ １ ２ 的若干新功能,展示新程序在自动发现有关不等式 类型方面的应用和技巧,给出了大量的自动发现实例． １ 自动发现分式型不等式 分式型不等式是一类十分重要的不等式类型．文献[１]强调指出:用 agl２０ １ ２ 程序自动发现不等式的基 本前提是构造出大量丰富的数据,并介绍了一些数据构造程序,如分式型数据构造程序 fssj．下面介绍一个功 能更强大的分式型数据构造命令,其主要特点是可以对分式的分子和分母的次数进行控制．其核心语句是: lbxchu(qj cs(qhcs(dssj(１),s),i),qj cs(qhcs(dssj(１),s),i deg)); 这个语句由两个列表相除命令