雅克·卡雷特；Farmer，William M。 数学知识管理综述。 （英语） Zbl 1247.68266号 Carette，Jacques（编辑）等人，《智能计算机数学》。2009年7月6日至12日，在加拿大大本德举行了2009年第16届Calculemus研讨会，2009年第8届MKM国际会议，作为2009年CICM的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02613-3/pbk）。计算机科学讲义5625。人工智能课堂讲稿，233-246（2009）。MSC公司：68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Carette}和\textit{W.M.Farmer}，莱克特。注释计算。科学。5625233-246（2009年；Zbl 1247.68266） 全文： 内政部
保罗·凯恩斯；杰里米·高 在Mizar中集成搜索和创作。 （英语） 邮编1129.68500 J.汽车。推理 39，第2期，141-160（2007）.MSC公司：68吨15 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{P.Cairns}和\textit{J.Gow}，J.Autom。推理39，No.2，141--160（2007；Zbl 1129.68500） 全文： 内政部