保罗·奥利维尔·德哈伊;米尼亚·伊恩库;迈克尔·科尔哈斯;亚历山大·科诺瓦洛夫;塞缪尔·莱利耶夫尔;穆勒，丹尼斯;马库斯·普菲弗;弗洛里安·拉贝;尼古拉斯·M·蒂埃里。;汤姆·威辛 OpenDreamKit项目中的互操作性：中间的方法。 （英语） Zbl 1344.68268号 Michael Kohlhase（编辑）等人，《智能计算机数学》。2016年7月25日至29日，第九届国际会议，CICM 2016，波兰比亚莱斯托克。诉讼程序。商会：施普林格出版社（ISBN 978-3-319-42546-7/pbk；978-3-319-42547-4/ebook）。计算机科学课程讲稿9791。人工智能课堂讲稿，117-131（2016）。MSC公司：68单位35 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.-O.Dehaye}等人，Lect。注释计算。科学。9791、117--131（2016年；Zbl 1344.68268） 全文： 内政部 arXiv公司
米娜·安库;迈克尔·科尔哈斯;弗洛里安·拉贝;约瑟夫·乌尔班 OMDoc中的Mizar数学库：翻译和应用。 （英语） Zbl 1260.68375号 J.汽车。推理 50，第2期，191-202（2013）.MSC公司：68吨15 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Iancu}等人，J.Autom。推理50，No.2，191--202（2013；Zbl 1260.68375） 全文： 内政部 链接
米尼亚·伊恩库;弗洛里安·拉贝 声明性语言中的变更管理。 （英语） 兹比尔1360.68809 Jeuring，Johan（编辑）等人，《智能计算机数学》。2012年7月8日至13日，在德国不来梅举行了第11届国际会议、2012年AISC、第19届研讨会、2012年Calculemus、2012年DML第5届国际研讨会、2012年度MKM第11次国际会议、系统和项目。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31373-8/pbk）。计算机科学课堂讲稿7362。人工智能课堂讲稿，326-341（2012）。MSC公司：68立方英尺 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Iancu}和\textit{F.Rabe}，莱克特。注释计算。科学。7362326--341（2012年；Zbl 1360.68809） 全文： 内政部
米尼亚·伊恩库;弗洛里安·拉贝 数学基础形式化。 （英语） Zbl 1242.03031号 数学。结构。计算。科学。 21，第4期，883-911（2011）. 审核人：Viorica Sofrone-Stokkerman（科布伦茨） MSC公司：03B35型 03B30型 03E30年 PDF格式BibTeX公司 XML格式引用 \textit{M.Iancu}和\textit{F.Rabe}，数学。结构。计算。科学。21，第4号，883--911（2011；Zbl 1242.03031） 全文： 内政部