拉塞尔·布拉德福德;詹姆斯·H·达文波特。;克里斯托弗·桑温。 计算机代数中的等式与数学教学中的正确性的比较。 （英语） Zbl 1247.97004号 Carette，Jacques（编辑）等人，《智能计算机数学》。2009年7月6日至12日，第16次研讨会，微积分2009，第8次国际会议，MKM 2009，作为CICM 2009的一部分在加拿大大本德举行。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02613-3/pbk）。计算机科学课程讲稿5625。人工智能课堂讲稿，75-89（2009）。MSC公司：97D60型 68瓦30 97单位50 PDF格式BibTeX公司 XML格式引用 \textit{R.Bradford}等人，Lect。注释计算。科学。5625，75-89（2009年；Zbl 1247.97004） 全文： 内政部 链接
乔纳森·斯特拉特福德;詹姆斯·H·达文波特。 单位知识管理。 （英语） Zbl 1166.68360号 Autexier，Serge（编辑）等人，《智能计算机数学》。2008年7月28日至8月1日，在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85109-7/pbk）。计算机科学课堂讲稿5144。人工智能课堂讲稿，382-397（2008）。MSC公司：68层35 PDF格式BibTeX公司 XML格式引用 \textit{J.Stratford}和\textit{J.H.Davenport}，莱克特。注释计算。科学。5144382--397（2008年；Zbl 1166.68360） 全文： 内政部 链接
詹姆斯·H·达文波特。 AISC符合自然字体。 （英语） Zbl 1166.68333号 Autexier，Serge（编辑）等人，《智能计算机数学》。2008年7月28日至8月1日，在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85109-7/pbk）。计算机科学课堂讲稿5144。人工智能课堂讲稿，53-60（2008）。MSC公司：68T01型 68单位15 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Davenport}，莱克特。注释计算。科学。5144、53-60（2008年；Zbl 1166.68333） 全文： 内政部