布鲁斯·米勒。 DLMF三年：网络、数学和搜索。 （英语） Zbl 1390.68750号 Carette，Jacques（编辑）等人，《智能计算机数学》。2013年7月8日至12日，MKM、Calculationmus、DML以及系统和项目，作为2013年CICM的一部分，在英国巴斯举行。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-39319-8/pbk）。计算机科学讲座笔记7961。人工智能课堂讲稿，288-295（2013）。MSC公司：68单位35 PDF格式BibTeX公司 XML格式引用 \textit{B.R.Miller}，莱克特。注释计算。科学。7961，288--295（2013；Zbl 1390.68750） 全文： 内政部
布鲁斯·米勒。;阿卜杜·尤塞夫 数学函数数字图书馆的技术方面。 （英语） Zbl 1019.65002号 安。数学。Artif公司。智力。 38，编号1-3，121-136（2003）.MSC公司：33-00 65D20个 65日元 PDF格式BibTeX公司 XML格式引用 \textit{B.R.Miller}和\textit{A.Youssef}，安.数学。Artif公司。智力。38，编号1--3，121-136（2003；Zbl 1019.65002） 全文： 内政部