穆勒，丹尼斯;迈克尔·科尔哈斯 将形式数学注入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） 全文： 内政部
德扬·基涅夫;米尼亚·伊恩库;康斯坦丁·朱科夫斯基;安德烈亚·科尔哈斯;迈克尔·科尔哈斯;奥里波夫，阿克巴;尤尔根·舍夫特;沃尔夫拉姆·斯珀伯;奥拉夫·特施克;汤姆·威辛 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） 全文： 内政部