迈克尔·科尔哈斯;沃尔夫拉姆·斯珀伯 软件引用、信息系统等。 （英语） Zbl 1367.68336号 Geuvers，Herman（编辑）等人，《智能计算机数学》。2017年7月17日至21日，在英国爱丁堡举行的第十届国际会议，CICM 2017。诉讼程序。查姆：施普林格（ISBN 978-3-319-62074-9/pbk；978-3-3169-62075-6/电子书）。计算机科学课程讲稿10383。《人工智能课堂讲稿》，99-114（2017）。MSC公司：68单位35 PDF格式BibTeX公司 XML格式引用 \textit{M.Kohlhase}和\textit{W.Sperber}，莱克特。注释计算。科学。10383，99-114（2017；Zbl 1367.68336） 全文： 内政部
穆勒，丹尼斯;Thibault Gauthier;塞萨里·卡利西克;迈克尔·科尔哈斯;弗洛里安·拉贝 形式数学系统概念之间的对齐分类。 （英语） Zbl 1367.68309号 Geuvers，Herman（编辑）等人，《智能计算机数学》。2017年7月17日至21日，在英国爱丁堡举行的第十届国际会议，CICM 2017。诉讼程序。查姆：施普林格（ISBN 978-3-319-62074-9/pbk；978-3-3169-62075-6/电子书）。计算机科学课程讲稿10383。《人工智能课堂讲稿》，83-98（2017）。MSC公司：68立方英尺 68吨15 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{D.Müller}等人，Lect。注释计算。科学。10383、83-98（2017年；Zbl 1367.68309） 全文： 内政部 链接
内森·卡特（Nathan C.Carter）。;肯尼思·G·蒙克斯。 一个基于web的工具包，用于具有语义的数学字处理应用程序。 （英语） Zbl 1367.68332号 Geuvers，Herman（编辑）等人，《智能计算机数学》。2017年7月17日至21日，在英国爱丁堡举行的第十届国际会议，CICM 2017。诉讼程序。查姆：施普林格（ISBN 978-3-319-62074-9/pbk；978-3-3169-62075-6/电子书）。计算机科学课程讲稿10383。《人工智能课堂讲稿》，272-291（2017）。MSC公司：68平方英寸15 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{N.C.卡特}和\textit{K.G.蒙克斯}，莱克特。注释计算。科学。10383、272--291（2017；Zbl 1367.68332） 全文： 内政部
保罗·奥利维尔·德哈伊;米尼亚·伊恩库;迈克尔·科尔哈斯;亚历山大·科诺瓦洛夫;塞缪尔·莱利耶夫尔;穆勒，丹尼斯;马库斯·普菲弗;弗洛里安·拉贝;尼古拉斯·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公司
米尼亚·伊恩库;迈克尔·科尔哈斯 数学知识传播和聚合的灵活形式模型。 （英语） Zbl 1417.68207号 Kerber，Manfred（编辑）等人，《智能计算机数学》。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。9150, 137-152 (2015).MSC公司：68立方英尺 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{M.Iancu}和\textit{M.Kohlhase}，莱克特。注释计算。科学。9150137--152（2015；Zbl 1417.68207） 全文： 内政部
米尼亚·伊恩库;君士坦丁·朱科维奇;迈克尔·科尔哈斯;汤姆·威辛 系统描述：MathHub.info。 （英语） Zbl 1304.68196号 Watt，Stephen M.（编辑）等人，《智能计算机数学》。2014年7月7日至11日，在葡萄牙科英布拉举行的2014年亚洲信任会议国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-08433-6/pbk）。计算机科学课程讲稿8543。《人工智能讲义》，431-434（2014）。MSC公司：68单位35 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Iancu}等人，Lect。注释计算。科学。8543、431--434（2014；Zbl 1304.68196） 全文： 内政部
弗洛里安·拉贝 用于正式数学库的查询语言。 （英语） Zbl 1359.68272号 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。人工智能课堂讲稿，143-158（2012）。MSC公司：68立方英尺 68第20页 68单位35 PDF格式BibTeX公司 XML格式引用 \文本｛F.Rabe｝，Lect。注释计算。科学。7362、143--158（2012年；Zbl 1359.68272） 全文： 内政部 arXiv公司