米查尔·里奇卡;彼得·索伊卡;克雷奇·弗拉斯蒂米尔 面向数字数学图书馆的机器可操作模块。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)