作者：刘保乾不等式自动发现agl2010程序n元不等式机器证明
摘要：讨论了用不等式自动发现与判定程序agl2010发现n元不等式的方法和技巧；总结出发现”元不等式的“推广三步骤”方法，并对3元不等式的n元推广实现了自动发现；提出了智能模拟的概念，指出它是机器证明的任务之一；给出了若干n元不等式发现新结果．
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《广东第二师范学院学报》（CN：44-1149/G4）是一本有较高学术价值的大型双月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《广东第二师范学院学报》1997年成为中国学术期刊(光盘版)的首批入编期刊，2000年成为中国期刊网数据库来源期刊。2002年，在全国高校人文社科学报"三优"评比活动中被评为"全国优秀人文社科学报"，国家哲学社会科学学术期刊数据库收录期刊。
杂志详情
