穆勒,丹尼斯;迈克尔·科尔哈斯 将形式数学注入LaTeX。 (英语) Zbl 07691298号 Buzzard,Kevin(编辑)等人,《智能计算机数学》。2022年9月19日至23日,第15届国际会议,CICM 2022,格鲁吉亚第比利斯。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。13467, 168-183 (2022).MSC公司:68伏xx PDF格式BibTeX公司 XML格式引用 \textit{D.Müller}和\textit{M.Kohlhase},莱克特。注释计算。科学。13467,168-183(2022;Zbl 07691298) 全文: 内政部
穆勒,丹尼斯;高蒂尔,蒂博;Cezary卡利西克;迈克尔·科尔哈斯;弗洛里安·拉贝 形式数学系统概念之间的对齐分类。 (英语) 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) 全文: 内政部 链接
吉涅夫,德扬;米尼亚·伊恩库;君士坦丁·朱科夫什;安德烈亚·科尔哈斯;迈克尔·科尔哈斯;奥里波夫,阿克巴;尤尔根·舍夫特;沃尔夫拉姆·斯珀伯;奥拉夫·特施克;汤姆·威辛 SMGloM项目和系统:走向数学术语和本体。 (英语) Zbl 1434.68649号 Greuel,Gert-Martin(编辑)等人,《数学软件——ICMS 2016》。第五届国际会议,德国柏林,2016年7月11日至14日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9725, 451-457 (2016).MSC公司:68伏30 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.Ginev}等人,Lect。注释计算。科学。9725、451--457(2016年;Zbl 1434.68649) 全文: 内政部
保罗·奥利维尔·德哈伊;米尼亚·伊恩库;迈克尔·科尔哈斯;亚历山大·科诺瓦洛夫;塞缪尔·莱利耶夫尔;穆勒,丹尼斯;马库斯·普菲弗;弗洛里安·拉贝;蒂埃里,尼古拉斯·M。;汤姆·威辛 OpenDreamKit项目中的互操作性:中间的方法。 (英语) Zbl 1344.68268号 Michael Kohlhase(编辑)等人,《智能计算机数学》。2016年7月25日至29日,第九届国际会议,CICM 2016,波兰比亚莱斯托克。诉讼程序。查姆:施普林格(ISBN 978-3-319-42546-7/pbk;978-3-316-42547-4/电子书)。计算机科学课程讲稿9791。人工智能课堂讲稿,117-131(2016)。MSC公司:68单位35 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.-O.Dehaye}等人,Lect。注释计算。科学。9791、117--131(2016年;Zbl 1344.68268) 全文: 内政部 arXiv公司