西蒙·科尔顿 使用HR、Otter和Maple在数论中进行自动猜测。 （英语） Zbl 1126.68100号 J.塞姆。计算。 39，第5期，593-615（2005）.MSC公司：68瓦30 2016年11月 68吨15 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{S.Colton}，J.Symb。计算。39，第5号，593--615（2005；Zbl 1126.68100） 全文： 内政部 链接
安德烈亚·福米萨诺;尤金尼奥·奥莫代奥（Eugenio G.Omodeo）。;阿尔贝托，Policriti 三个变量的set-pairing语句。 （英语） Zbl 1058.03028号 西奥。计算。科学。 322，第1期，第147-173页（2004年）. 审核人：J.M.Plotkin（东兰辛） MSC公司：03B70号 03E20型 03G15年 68问题65 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Formisano}等人，Theor。计算。科学。322，第1号，147--173（2004；Zbl 1058.03028） 全文： 内政部
安德烈亚斯·梅耶;马丁·波莱特;沃尔克·索尔格 比较剩余类领域的探索方法。 （英语） Zbl 1038.68110号 J.塞姆。计算。 34，第4期，287-306（2002）.MSC公司：68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Meier}等人，J.Symb。计算。34，第4号，287--306（2002；Zbl 1038.68110） 全文： 内政部 链接
Farmer，William M。;马丁·冯·莫伦柴尔德 管理数学的正式框架。 （英语） 兹伯利0982.68114 Buchberger，Bruno（编辑）等人，《数学知识管理：MKM 2001》。第一届国际研讨会电子会议记录，RISC，SchloßHagenberg，奥地利，2001年9月24-26日。林茨：林茨大学，37页（2001年）。MSC公司：68吨15 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Farmer}和\textit{M.von Mohrenschildt}，in：数学知识管理：MKM 2001。第一届国际研讨会的电子会议记录，RISC，SchloßHagenberg，奥地利，2001年9月24日至26日。林茨：林茨大学。37页（2001年；Zbl 0982.68114） 全文： 链接
碘脒，N.I。 经典梁问题中的有限差分/单元：借助Reduce和REDLOG在参数不等式约束下推导可行性条件。 （英语） Zbl 1031.74048号 计算。机械。 27，第2期，145-153（2001）.MSC公司：74S05号 74平方米 74K10个 PDF格式BibTeX公司 XML格式引用 \textit{N.I.Ioakimidis}，计算。机械。27，第2号，145--153（2001；Zbl 1031.74048） 全文： 内政部
威廉·麦库恩;帕德马纳班，R。 方程式逻辑和三次曲线的自动推导。 （英语） Zbl 0921.03011号 计算机科学课堂讲稿1095.人工智能课堂讲稿。柏林：Springer-Verlag。ix，第231页，54.00德国马克；öS 394.20；法语。48.00 (1996).MSC公司：03B35型 68吨15 03-02 68-02 05年3月 2004年8月 14-04 2005年第14季度 14小时45分 PDF格式BibTeX公司 XML格式引用 \textit{W.McCune}和\textit{R.Padmanabhan}，等式逻辑和三次曲线的自动演绎。柏林：Springer-Verlag（1996；Zbl 0921.03011） 全文： 内政部
克莱门斯·巴拉林;卡斯滕·霍曼;雅克·卡梅特 定理和算法：Isabelle和Maple之间的接口。 （英语） Zbl 0922.68080号 Levet，A.H.M.（编辑），1995年符号和代数计算国际研讨会论文集，1995年7月10日至12日，加拿大蒙特利尔，ISSAC’95。纽约州纽约市：ACM出版社。150-157 (1995).MSC公司：68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.Ballarin}等人，《1995年符号和代数计算国际研讨会论文集》，1995年7月10日至12日，加拿大蒙特利尔，ISSAC’95。纽约州纽约市：ACM出版社。150-157（1995年；Zbl 0922.68080）