作者：刘保乾不等式自动发现agl2010程序条件不等式机器证明
摘要：提出了两个不等式通用模型,以这两个模型为基础设计了若干不等式自动发现命令,从而进一步完善了不等式自动发现与判定程序agl2010的功能,得到应用程序xhhj;给出了大量类型丰富的不等式（恒等式）自动发现实例;加强或推广了一些著名不等式;顺便评价了杨路教授的有关工作;提出了待解决的问题.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《广东第二师范学院学报》（CN：44-1149/G4）是一本有较高学术价值的大型双月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《广东第二师范学院学报》1997年成为中国学术期刊(光盘版)的首批入编期刊，2000年成为中国期刊网数据库来源期刊。2002年，在全国高校人文社科学报"三优"评比活动中被评为"全国优秀人文社科学报"，国家哲学社会科学学术期刊数据库收录期刊。
杂志详情
