布鲁斯·米勒。 DLMF三年：网络、数学和搜索。 （英语） Zbl 1390.68750号 Carette，Jacques（编辑）等人，《智能计算机数学》。MKM、Calculemus、DML以及2013年系统和项目，作为2013年CICM的一部分，于2013年7月8日至12日在英国巴斯举行。诉讼程序。柏林：施普林格出版社（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） 全文： 内政部
Růžička，米哈尔;彼得·索伊卡;克雷奇·弗拉斯蒂米尔 面向数字数学图书馆的机器可操作模块。DML-CZ的例子。 （英语） Zbl 1353.68290号 Carette，Jacques（编辑）等人，《智能计算机数学》。MKM、Calculemus、DML以及2013年系统和项目，作为2013年CICM的一部分，于2013年7月8日至12日在英国巴斯举行。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-39319-8/pbk）。计算机科学讲座笔记7961。《人工智能课堂讲稿》，263-277（2013）。MSC公司：68立方英寸35 PDF格式BibTeX公司 XML格式引用 \textit{M.Růćka}等人，Lect。注释计算。科学。7961、263--277（2013年；Zbl 1353.68290） 全文： 内政部
李光洙;李东勋;Moti Yung 短公钥序列聚合签名：设计、分析和实现研究。 （英语） Zbl 1290.94153号 Kurosawa，Kaoru（编辑）等人，公开密钥加密——PKC 2013。2013年2月26日至3月1日在日本奈良举行的第十六届公开密钥加密实践与理论国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-36361-0/pbk）。计算机科学课堂讲稿7778，423-442（2013）。MSC公司：94A62型 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{K.Lee}等人，Lect。注释计算。科学。7778、423--442（2013年；Zbl 1290.94153） 全文： 内政部
皮埃尔·奥迪伯特 人行道的几何形状。从概念到在计算机上的实现。（Géométrie des pavages。关于协调人的概念。） （法语） Zbl 1264.52001年 巴黎：爱马仕；巴黎：拉瓦锡（ISBN 978-2-7462-4503-7/pbk）。第413页。(2013). 审核人：Gertraud Ehrig（柏林） MSC公司：52-01 05-01 05C70号 68单位05 05B40号 11小时31分 52元15角 52-04 2015年11月51日 PDF格式BibTeX公司 XML格式引用 \textit{P.Audibert}，《墙纸》。从概念到关系。巴黎：爱马仕；巴黎：拉瓦锡（2013；Zbl 1264.52001）