百万吨

此软件的关键字
zbMATH中的参考文献(参考文献 49条 , 1标准件 )
卡莱特,雅克; 农民,威廉M。; 科哈塞,迈克尔; 拉贝,弗洛里安:大数学和一个脑屏障:数学知识的四足模型(2021) 科哈塞,迈克尔; 拉贝,弗洛里安:出口主要证据助理图书馆的经验(2021年) 亚历西,法比奥; 阿尔伯托,齐亚法格利恩; 迪吉纳托尼奥,皮埃特罗; 弘塞尔,福里奥; 莱尼萨,玛丽娜; 斯加涅托,伊万:(\mathrmLF^+)in\texttcoq for fast and loose reasoning(2019年) 阿曼,凯; 科哈塞,迈克尔; 拉贝,弗洛里安; Wiesing,Tom:整合语义数学文档和动态笔记本(2019) 高蒂埃,蒂堡; Kaliszyk,Cezary:跨校对助理库调整概念(2019) 吉迪,费鲁乔; 萨尔多蒂·科恩,克劳迪奥; Tassi,Enrico:在高阶约束逻辑编程中实现类型理论(2019) 卡利斯齐克,塞扎里(编辑); 布雷迪,埃德温(编辑); 科哈塞,安德里亚(编辑); 萨尔多蒂·科恩,克劳迪奥(编):智能计算机数学。 第12届国际会议,CICM 2019,捷克共和国布拉格,2019年7月8日至12日。 会议记录(2019年) 拉贝,弗洛里安; Müller,Dennis:Structuring theory with隐式语素(2019) 拉贝,弗洛里安; Sharoda,Yasmine:MMT中的组合图(2019) 比岑达尔,乔纳斯; Kohlhase,Michael:将IMPS理论库翻译为MMT/OMDoc(2018) 拉贝,弗洛里安:模块化类型重建算法(2018) 拉贝,弗洛里安(编辑); 农民,威廉M.(编辑); 帕斯莫尔,格兰特O.(编辑); 尤瑟夫(编):智能计算机数学。 第11届国际会议,2018年8月13日至17日,奥地利哈根堡,CICM 2018。 会议记录(2018) 卡特,内森·C。; Monks,Kenneth G.:基于web的语义数学字处理应用工具包(2017) 科哈塞,迈克尔; 德菲奥,卢卡; 米勒,丹尼斯; 普菲弗,马库斯; 拉贝,弗洛里安; 蒂里,尼古拉斯M。; 瓦西里耶夫,维克托; Wiesing,Tom:数学软件系统的基于知识的互操作性(2017) 科哈塞,迈克尔; 科普鲁基,托马斯; 米勒,丹尼斯; Tabelow,Karsten:通过flexiformal理论图作为研究数据的数学模型(2017) 科哈塞,迈克尔; Sperber,Wolfram:软件引文、信息系统及其他(2017) 米勒,丹尼斯; 高蒂埃,蒂堡; 卡利斯齐克,塞扎里; 科哈塞,迈克尔; 拉贝,弗洛里安:形式数学系统概念之间的对齐分类(2017) 如何识别、翻译和组合逻辑? (2017年) 威辛,汤姆; 科哈塞,迈克尔; 拉贝,弗洛里安:虚拟理论——数学知识库的统一接口(2017) 德哈伊,保罗·奥利维尔; 安库,米娜; 科哈塞,迈克尔; 科诺瓦洛夫,亚历山大; 列利弗,塞缪尔; 米勒,丹尼斯; 普菲弗,马库斯; 拉贝,弗洛里安; 蒂里,尼古拉斯M。; Tom Wiesing:《OpenDreamKit项目中的互操作性:中间的数学方法》(2016)