弗洛里安·拉贝;斯蒂芬·瓦特（Stephen M.Watt）。 从Aldor库中提取理论图。 （英文） Zbl 07810743号 Catherine Dubois（编辑）等人，《智能计算机数学》。第16届国际会议，CICM 2023，英国剑桥，2023年9月5-8日。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。14101, 315-320 (2023).MSC公司：68伏xx PDF格式BibTeX公司 XML格式引用 \textit{F.Rabe}和\textit{S.M.Watt}，莱克特。注释计算。科学。14101315--320（2023；Zbl 07810743） 全文： 内政部
穆勒，丹尼斯;迈克尔·科尔哈斯 将形式数学注入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｝，Lect。注释计算。科学。13467，168-183（2022；Zbl 07691298） 全文： 内政部
迈克尔·科尔哈斯;弗洛里安·拉贝 出口主要校样助理库的经验。 （英文） Zbl 07461271号 J.汽车。推理 65，第8期，1265-1298（2021）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Kohlhase}和\textit{F.Rabe}，J.Autom。推理65，No.8，1265--1298（2021；Zbl 07461271） 全文： 内政部 arXiv公司 OA许可证
弗洛里安·拉贝;穆勒，丹尼斯 用隐式形态构建理论。 （英文） Zbl 1444.68293号 JoséLuiz（编辑）Fiadeiro等人，代数开发技术的最新趋势。第24届IFIP工作组1.3国际研讨会，2018年7月2日至5日，英国埃格姆，WADT 2018。修订了选定的论文。查姆：施普林格。莱克特。注释计算。科学。11563, 154-173 (2019).MSC公司：68伏30 PDF格式BibTeX公司 XML格式引用 \textit{F.Rabe}和\textit{D.Müller}，莱克特。注释计算。科学。11563、154--173（2019年；Zbl 1444.68293） 全文： 内政部 哈尔