搜索筛选:
搜索耗时0.7375秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[期刊论文] 作者：刘保乾,
来源：汕头大学学报：自然科学版 年份：2014
通过引入全局变量，使不等式自动发现过程中数据表达式的构造简洁而方便；通过角代换，解决了锐角三角形不等式的验证问题；通过正数域等价集，解决了实变元不等式的验证问题；给出了等腰......
[期刊论文] 作者：刘保乾,
来源：广东第二师范学院学报 年份：2014
根据智能模拟思想，设计了2个自动出题程序和3个多项式数据通用构造程序，这些程序不仅进一步完善了agl2012程序的功能（特别是教学辅助功能），也为用智能模拟思想进行研究提供了实例；......
[期刊论文] 作者：刘保乾,
来源：广东第二师范学院学报 年份：2014
对不等式自动发现与判定程序agl2012进行了新的完善和补充,拓展了部分功能;介绍了程序使用的一些技巧;给出了大量的自动发现实例....
相关搜索：
