马丁·利什卡；彼得·索伊卡；米查尔·里奇卡 数学索引器和搜索器web界面。满足数学家的信息需求。 （英语） Zbl 1304.68199号 Watt，Stephen M.（编辑）等人，《智能计算机数学》。2014年7月7日至11日在葡萄牙科英布拉举行的2014年国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-08433-6/pbk）。计算机科学课程讲稿8543。《人工智能课堂讲稿》，444-448（2014）。MSC公司：68单位35 PDF格式BibTeX公司 XML格式引用 \textit{M.Líska}等人，Lect。票据计算。科学。8543、444--448（2014；Zbl 1304.68199） 全文： 内政部 arXiv公司
米查尔·里奇卡；彼得·索伊卡；Krejčíř，弗拉斯蒂米尔 面向数字数学图书馆的机器可操作模块。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） 全文： 内政部
米查尔·里奇卡 自动处理T型E类X（X）-数字图书馆的打字测试文章。 （英语） Zbl 1170.68492号 Sojka，Petr（编辑），DML 2008。走向数字数学图书馆，英国伯明翰，2008年7月27日。诉讼程序。布尔诺：马萨里克大学（ISBN 978-80-210-4658-0/pbk）。167-176 (2008).MSC公司：68页99 PDF格式BibTeX公司 XML格式引用 \textit{M.Růćka}，收录于：DML 2008。走向数字数学图书馆，英国伯明翰，2008年7月27日。诉讼程序。布尔诺：马萨里克大学。167--176（2008年；Zbl 1170.68492）