沃尔夫拉姆·卡尔 教学工具中的计算关系代数证明CalcCheck（计算检查）. （英语） Zbl 1462.68217号 J.日志。阿尔盖布。方法计划。 117，文章ID 100581，39 p.（2020）.理学硕士：68伏15 97U70型 PDF格式BibTeX公司 XML格式引用 \textit{W.Kahl}，J.Log。代数。方法计划。117，文章ID 100581，39 p.（2020；Zbl 1462.68217） 全文： 内政部
大卫·麦克马思;玛丽安娜·罗森菲尔德;理查德·索默 用于编写普通数学证明的计算机环境。 （英语） Zbl 1275.68128号 Nieuwenhuis，Robert（编辑）等人，《编程逻辑、人工智能和推理》。2001年12月3日至7日在古巴哈瓦那举行的第八届国际会议，LPAR 2001。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42957-3/pbk）。计算机科学课程讲稿2250。人工智能课堂讲稿，507-516（2001）。理学硕士：68吨15 97U70型 PDF格式BibTeX公司 XML格式引用 \textit{D.McMath}等人，Lect。注释计算。科学。2250、507--516（2001年；Zbl 1275.68128） 全文： 内政部