都铎Jebelean 用于元素分析的启发式证明程序枣灰蝶属. （英文） Zbl 1485.68284号 Kamaredine，Fairouz（编辑）等人，《智能计算机数学》。2021年7月26日至31日，罗马尼亚蒂米苏拉第十四届国际会议，CICM 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12833130-134（2021年）。MSC公司：68伏15 26-01 68T20型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{T.Jebelean}，莱克特。注释计算。科学。12833，130-134（2021；Zbl 1485.68284） 全文： 内政部
杰里米·阿维加德;罗伯特·刘易斯。;科迪·鲁克斯 真实不等式的启发式证明。 （英文） Zbl 1356.68174号 J.汽车。推理 56，第3期，367-386（2016）.MSC公司：68吨15 2007年第26天 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Avigad}等人，J.Autom。推理56，No.3，367--386（2016；Zbl 1356.68174） 全文： 内政部 arXiv公司 链接