弗洛里安·拉贝 一种具有类型依赖相等性的语言。 （英语） Zbl 1485.68293号 Kamaredine，Fairouz（编辑）等人，《智能计算机数学》。2021年7月26日至31日，罗马尼亚蒂米苏拉第十四届国际会议，CICM 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12833, 211-227 (2021).MSC公司：68V20型 03B38型 PDF格式BibTeX公司 XML格式引用 \textit{F.Rabe}，莱克特。注释计算。科学。12833，211-227（2021；Zbl 1485.68293） 全文： 内政部
雅克·卡雷特;Farmer，William M。;迈克尔·科尔哈斯;弗洛里安·拉贝 大数学和单脑障碍：数学知识的四足模型。 （英语） Zbl 1493.68391号 数学。智力。 43，编号1，78-87（2021）. 审核人：Truong Hoang Le（河内） MSC公司：68伏xx 00分30秒 00A35型 01年6月15日 01A67号 PDF格式BibTeX公司 XML格式引用 \textit{J.Carette}等人，数学。智力。43，编号1，78--87（2021；Zbl 1493.68391） 全文： 内政部 OA许可证
迈克尔·科尔哈斯;卢卡·德·费奥;穆勒，丹尼斯;马库斯·普菲弗;弗洛里安·拉贝;尼古拉斯·M·蒂埃里。;维克托·瓦西利耶夫;汤姆·威辛 数学软件系统基于知识的互操作性。 （英语） 兹比尔1497.68551 Blömer，Johannes（编辑）等人，《计算机和信息科学的数学方面》。2017年11月15日至17日在奥地利维也纳举行的2017年MACIS第七届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10693, 195-210 (2017).MSC公司：68伏35 68版本30 PDF格式BibTeX公司 XML格式引用 \textit{M.Kohlhase}等人，Lect。注释计算。科学。10693、195--210（2017年；Zbl 1497.68551） 全文： 内政部 链接
弗洛里安·拉贝 形态公理。 （英语） Zbl 1373.03132号 西奥。计算。科学。 691, 55-80 (2017). 审核人：Ernst-Erich Doberkat（多特蒙德） MSC公司：03G30型 68问题65 PDF格式BibTeX公司 XML格式引用 \文本{F.Rabe}，Theor。计算。科学。691、55-80（2017年；Zbl 1373.03132） 全文： 内政部
保罗·奥利维尔·德哈伊;米尼亚·伊恩库;迈克尔·科尔哈斯;亚历山大·科诺瓦洛夫;塞缪尔·莱利耶夫尔;穆勒，丹尼斯;马库斯·普菲弗;弗洛里安·拉贝;尼古拉斯·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公司