编辑配置文件（在新选项卡中打开） 迈克尔·科尔哈斯 合著者距离 作者ID： 科尔哈斯·迈克尔 发布日期： 迈克尔·科尔哈斯 主页： https://kwarc.info/people/mkohlhase 外部链接： MGP公司·逆戟鲸·维基数据·谷歌学者·数据库许可证·接地 已编制索引的文档： 107出版物自1992年起 5作为编辑的贡献 合著者： 120位合著者具有102联合出版物 1180名合作作者 全部的 前5名合著者 10 单作者的 31 弗洛里安·拉贝 13 穆勒，丹尼斯 11 安德烈亚·科尔哈斯 8 米尼亚·伊恩库 7 克里斯托夫·埃瓦尔德·本兹穆勒 6 富利亚·霍罗扎尔 6 曼弗雷德·科伯 6 汤姆·威辛 5 安德烈亚斯·弗兰克 5 海因里希·斯坦默约翰斯 4 乍得·布朗·爱德华 4 大卫，加泰罗尼亚语 4 德扬·基涅夫 4 君士坦丁·朱科维奇 4 沃尔克·索尔格 4 沃尔夫拉姆·斯珀伯 三 米海·Codescu 三 克里斯托夫·兰格 三 布鲁斯·米勒。 三 蒂尔·莫萨科夫斯基 三 克劳迪奥·萨塞尔多蒂·科恩 2 卡加·贝尔奇奇 2 乔纳斯·贝岑达尔 2 雅克·卡雷特 2 Lassaad Cheikhrouhou 2 Farmer，William M。 2 阿明·菲德勒 2 迪特尔·赫特 2 理查德·马库斯 2 安德烈亚斯·梅耶 2 艾丽卡·梅利斯 2 伊曼纽尔·诺曼 2 马库斯·普菲弗 2 科尼利乌·克劳迪·普罗德斯库 2 简·弗雷德里克·谢弗 2 谢克曼，Jörg H。 2 奥拉夫·特施克 2 蒂埃里，尼古拉斯·马克 2 约瑟夫·乌尔班 2 马卡里乌斯·温泽尔 2 维亚切斯拉夫·兹霍卢德夫 2 于尔根·齐默 1 杰西·阿拉玛 1 阿曼，凯 1 罗密欧·安格拉什 1 安东尼奥（Antoniou），伊奥安尼斯·E。 1 亚历山德罗·阿曼多 1 谢尔盖·奥特西尔 1 马克·伯吉斯 1 本杰明·伯勒 1 布拉萨斯、查拉兰波斯 1 弗拉基米尔·勃列日涅夫 1 阿比舍克·丘格 1 安德烈亚·康多卢奇 1 约瑟夫·科内利 1 詹姆斯·哈罗德·达文波特 1 卢卡·德·费奥 1 莱昂纳多·德·莫拉 1 保罗·奥利维尔·德哈伊 1 多米尼克·迪特里希 1 阿纳斯塔西亚·迪莫 1 Fehrer、Detlef 1 克里斯蒂安·弗雷克萨 1 迈克尔·Fürsich 1 Thibault Gauthier 1 米海·格里戈 1 拉杜哈姆巴桑 1 斯蒂芬·赫斯（Stephan M.Hess）。 1 埃伯哈德·希尔夫（Eberhard R.Hilf）。 1 赫尔穆特·霍拉切克 1 黄晓荣 1 阿林·艾科布 1 帕特里克·D·F·伊恩。 1 帕特里夏·约翰 1 穆阿·约翰逊 1 君士坦丁·朱科夫什 1 克里斯托夫·荣格。 1 塞萨里·卡利西克 1 卢卡斯·科尔哈斯 1 亚历山大·科勒 1 Olexandr科诺瓦洛夫 1 卡斯滕·康拉德 1 托马斯·科普鲁基 1 哈拉尔德·科斯特勒 1 塞缪尔·莱利耶夫尔 1 多米尼克·洛尔 1 埃克塞尔·卢西纳亚 1 莱昂内尔·埃利·马曼 1 费利克斯·曼斯 1 博格丹·A·马蒂肯。 1 海伦娜米哈尔耶维奇 1 迪米塔尔·米西 1 马库斯·莫什内尔 1 克里斯汀·米勒 1 亚当·纳莫维奇 1 奥里波夫，阿克巴 1 Ouypornkochagorn，塔韦查 1 萨姆·奥雷 1 马丁·波莱特 1 投票人Theresa ……还有20多个合著者 全部的 前5名系列 4 自动推理杂志 三 计算机科学课堂讲稿 三 计算机科学中的数学 2 应用非经典逻辑杂志 2 欧洲数学学会新闻稿 1 数学信使 1 符号逻辑杂志 1 符号计算杂志 1 信息与计算 1 逻辑、语言与信息杂志 1 IGPL逻辑杂志 1 通用计算机科学杂志 1 计算机科学中的逻辑方法 1 形式化推理杂志 全部的 前5名领域 104 计算机科学（68至XX） 19 数理逻辑与基础（03-XX） 12 总体主题；集合（00-XX） 2 历史和传记（01-XX） 2 数学教育（97-XX） 1 组合数学（05-XX） 1 数论（11-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 88出版物有被引用387中的次199文件 引用人▼ 年份▼ 可扩展模块系统。 Zbl 1358.68283号 弗洛里安·拉贝；迈克尔·科尔哈斯 39 2013 高阶语义和扩展性。 Zbl 1071.03024号 克里斯托夫·本兹穆勒；乍得·E·布朗。；迈克尔·科尔哈斯 28 2004 OMDoc中的Mizar数学库：翻译和应用。 Zbl 1260.68375号 米尼亚·伊恩库；迈克尔·科尔哈斯；弗洛里安·拉贝；约瑟夫·乌尔班 19 2013 项目摘要：逻辑地图集和集成器（LATIN）。 兹比尔1278.68285 米海·Codescu；富利亚·霍罗扎尔；迈克尔·科尔哈斯；蒂尔·莫萨科夫斯基；弗洛里安·拉贝 18 2011 授权Mizar数学库（MML）。 Zbl 1278.68290号 杰西·阿拉玛；迈克尔·科尔哈斯；莱昂内尔·马曼；亚当·纳莫维奇；彼得·鲁德尼基；约瑟夫·乌尔班 17 2011 数学公式搜索引擎。 Zbl 1156.68306号 迈克尔·科尔哈斯；艾奥·苏坎 15 2006 使用LaT型E类X（X）作为一种语义标记格式。 Zbl 1176.68230号 迈克尔·科尔哈斯 13 2008 \（\欧米茄\）百万：走向数学助理。 Zbl 1430.68393号 克里斯托夫·本兹穆勒；Lassaad Cheikhrouhou；Fehrer、Detlef；阿明·菲德勒；黄晓荣；曼弗雷德·科伯；迈克尔·科尔哈斯；卡斯滕·康拉德；安德烈亚斯·梅耶；艾丽卡·梅利斯；沃尔夫·沙尔斯奇米特；约格·西克曼；沃尔克·索尔格 10 1997 将计算机代数集成到证明规划中。 Zbl 0916.68144号 曼弗雷德·科伯；迈克尔·科尔哈斯；沃尔克·索尔格 9 1998 面向异构工具集Hets中的逻辑框架。 Zbl 1278.68286号 米海·Codescu；富利亚·霍罗扎尔；迈克尔·科尔哈斯；蒂尔·莫萨科夫斯基；弗洛里安·拉贝；克里斯蒂娜·索贾科娃 8 2012 削减开支和无偿性。 兹比尔1160.03004 克里斯托夫·本兹穆勒（Christoph E.Benzmüller）。；乍得·E·布朗。；迈克尔·科尔哈斯 8 2009 OMDOC：为数学知识的管理、分发和教学制定互联网标准。 Zbl 1042.00511号 迈克尔·科尔哈斯 7 2001 使用\（\Omega\）MEGA验证开发。 Zbl 1072.68591号 约格·西克曼；克里斯托夫·本兹穆勒；弗拉基米尔·勃列日涅夫；Lassaad Cheikhrouhou；阿明·菲德勒；安德烈亚斯·弗兰克；赫尔穆特·霍拉切克；迈克尔·科尔哈斯；安德烈亚斯·梅耶；艾丽卡·梅利斯；马库斯·莫什内尔；伊曼纽尔·诺曼；马丁·波莱特；沃尔克·索尔格；卡斯滕·乌尔里奇；克劳斯·皮特·沃思；尤根·齐默 7 2002 在语句级别扩展MKM格式。 Zbl 1278.68293号 富利亚·霍罗扎尔；迈克尔·科尔哈斯；弗洛里安·拉贝 7 2012 领域：巩固数学理论知识的结构。 Zbl 1304.68169号 雅克·卡雷特；Farmer，William M。；迈克尔·科尔哈斯 7 2014 形式化数学的柔性算子。 Zbl 1304.68171号 富利亚·霍罗扎尔；弗洛里安·拉贝；迈克尔·科尔哈斯 7 2014 现存数学文献的符号。 Zbl 1166.00304号 迈克尔·科尔哈斯；克里斯汀·米勒；弗洛里安·拉贝 7 2008 部分函数的强Kleene逻辑的机械化。 Zbl 1433.03024号 曼弗雷德·科伯；迈克尔·科尔哈斯 7 1994 走向大规模的MKM：模块化表示和可扩展的软件架构。 Zbl 1278.68297号 迈克尔·科尔哈斯；弗洛里安·拉贝；维亚切斯拉夫·兹霍卢德夫 7 2010 关于集成问题的基本观点。 Zbl 1278.68289号 弗洛里安·拉贝；迈克尔·科尔哈斯；克劳迪奥·萨塞尔多蒂·科恩 6 2011 形式数学系统概念之间的对齐分类。 Zbl 1367.68309号 穆勒，丹尼斯；Thibault Gauthier；塞萨里·卡利西克；迈克尔·科尔哈斯；弗洛里安·拉贝 5 2017 系统描述：用于分布式数学推理的MathWeb软件总线。 Zbl 1072.68601号 于尔根·齐默；迈克尔·科尔哈斯 4 2002 将大量科学出版物转换为XML。 Zbl 1205.68490号 海因里希·斯坦默约翰斯；迈克尔·科尔哈斯；德扬·基涅夫；加泰林·大卫；布鲁斯·米勒 4 2010 系统描述：MathHub.info。 Zbl 1304.68196号 米尼亚·伊恩库；君士坦丁·朱科维奇；迈克尔·科尔哈斯；汤姆·威辛 4 2014 来自LaTeX的MathML-aware文章转换的比较研究。 Zbl 1176.68233号 海因里希·斯坦默约翰斯；吉涅夫，德扬；加泰林·大卫；迪米塔尔·米西；弗拉基米尔·扎姆德日耶夫；迈克尔·科尔哈斯 4 2009 面向代理的分布式数学服务集成。 Zbl 0961.68117号 安德烈亚斯·弗兰克；斯蒂芬·赫斯（Stephan M.Hess）。；克里斯托夫·荣格。；迈克尔·科尔哈斯；沃尔克·索尔格 4 1999 QED重新加载：朝向一个多元的正式数学知识库。 Zbl 1451.68343号 迈克尔·科尔哈斯；弗洛里安·拉贝 4 2016 数学知识管理：用理论图超越一个人的头脑。 Zbl 1317.68241号 迈克尔·科尔哈斯 4 2014 在正式元语言中表示结构语言特征。 Zbl 1455.68268号 穆勒，丹尼斯；弗洛里安·拉贝；科林·罗斯冈；迈克尔·科尔哈斯 4 2020 理论作为类型。 Zbl 1511.68340号 穆勒，丹尼斯；弗洛里安·拉贝；迈克尔·科尔哈斯 4 2018 数学知识空间的探索。 Zbl 1151.68666号 安德烈亚·科尔哈斯；迈克尔·科尔哈斯 三 2006 MBase：表示数学软件系统集成的知识和上下文。 Zbl 0981.68153号 迈克尔·科尔哈斯；安德烈亚斯·弗兰克 三 2001 扩展高阶分辨率。 Zbl 0928.03004号 克里斯托夫·本兹穆勒；迈克尔·科尔哈斯 三 1998 有序分类理论中的统一。 Zbl 0925.03080号 迈克尔·科尔哈斯 三 1992 将数学主题分类（MSC）作为链接的开放数据集重新实现。 Zbl 1257.68135号 克里斯托夫·兰格；帕特里克·伊恩；阿纳斯塔西亚·迪莫；布拉萨斯、查拉兰波斯；约瑟夫·科内利；沃尔夫拉姆·斯珀伯；迈克尔·科尔哈斯；安东尼奥，伊奥安尼斯 三 2012 数学公式搜索。 Zbl 1310.68217号 迈克尔·科尔哈斯；Mihaljević-Brandt，海伦娜；沃尔夫拉姆·斯珀伯；奥拉夫·特施克 三 2013 面向基于上下文的数学表达式消歧。 Zbl 1186.68530号 米海·格里戈；马格达莱娜·沃尔斯卡；迈克尔·科尔哈斯 三 2009 LaTeXML守护进程：协作web上的可编辑数学。 Zbl 1278.68337号 德扬·基涅夫；海因里希·斯坦默约翰斯；布鲁斯·米勒。；迈克尔·科尔哈斯 三 2011 数学语义、多语言术语的数据模型和编码。 兹比尔1304.68173 迈克尔·科尔哈斯 三 2014 高阶自动定理证明。 Zbl 0971.68141号 迈克尔·科尔哈斯 三 1998 跨数学库的关系数据。 Zbl 1428.68352号 安德烈亚·康多卢奇；迈克尔·科尔哈斯；穆勒，丹尼斯；弗洛里安·拉贝；克劳迪奥·萨塞尔多蒂·科恩；马卡里乌斯·温泽尔 三 2019 数学知识检索和共享的扩展公式规范化。 Zbl 1202.68157号 伊曼纽尔·诺曼；迈克尔·科尔哈斯 三 2007 OpenDreamKit项目中的互操作性：中间的方法。 Zbl 1344.68268号 保罗·奥利维尔·德哈伊；米尼亚·伊恩库；迈克尔·科尔哈斯；亚历山大·科诺瓦洛夫；塞缪尔·莱利耶夫尔；穆勒，丹尼斯；马库斯·普菲弗；弗洛里安·拉贝；尼古拉斯·M·蒂埃里。；汤姆·威辛 三 2016 系统描述STEX3–a我A类T型E类X（X）-基于生态系统的语义/活动数学文档。 Zbl 07691299号 迈克尔·科尔哈斯；穆勒，丹尼斯 2 2022 部分功能的画面。 Zbl 0851.03004号 曼弗雷德·科伯；迈克尔·科尔哈斯 2 1996 MKM实践社区：扩展模型。 Zbl 1188.68281号 安德烈亚·科尔哈斯；迈克尔·科尔哈斯 2 2006 MathWebSearch 0.5：扩展开放式公式搜索引擎。 Zbl 1278.68296号 迈克尔·科尔哈斯；博格丹·A·马蒂肯。；科尼利乌·克劳迪·普罗德斯库 2 2012 双形理论图的通用机器。 Zbl 1278.68267号 迈克尔·科尔哈斯；费利克斯·曼斯；弗洛里安·拉贝 2 2013 统一数学本体论：两个标准的故事。 Zbl 1247.68268号 詹姆斯·H·达文波特。；迈克尔·科尔哈斯 2 2009 电子表格与框架的交互：探索数学实践。 Zbl 1247.68274号 安德烈亚·科尔哈斯；迈克尔·科尔哈斯 2 2009 通过高阶彩色统一管理结构信息。 Zbl 0959.03007号 迪特尔·赫特；迈克尔·科尔哈斯 2 2000 符号计算和自动推理。CALCULEMUS-2000研讨会。2000年8月6日至7日，英国苏格兰圣安德鲁斯，第8届符号计算与机械化推理集成研讨会。 Zbl 0962.0008 2 2001 系统描述：MBase，一个开放的数学知识库。 Zbl 0963.68543号 安德烈亚斯·弗兰克；迈克尔·科尔哈斯 2 2000 虚拟理论–数学知识库的统一接口。 Zbl 1497.68550号 汤姆·威辛；迈克尔·科尔哈斯；弗洛里安·拉贝 2 2017 将IMPS理论库转换为MMT/OMDoc。 Zbl 1417.68175号 乔纳斯·贝岑达尔；迈克尔·科尔哈斯 2 2018 通过通用格式的解释使PVS可用于通用服务。 Zbl 1484.68311号 迈克尔·科尔哈斯；穆勒，丹尼斯；萨姆·奥雷；弗洛里安·拉贝 2 2017 重新审视MKM价值主张：从数学Web搜索到数学Web重新搜索。 Zbl 1202.68467号 安德烈亚·科尔哈斯；迈克尔·科尔哈斯 2 2007 STEXIDE：STEX系列的集成开发环境。 Zbl 1278.68294号 君士坦丁·朱科维奇；迈克尔·科尔哈斯 2 2010 出口主要校样助理库的经验。 Zbl 07461271号 迈克尔·科尔哈斯；弗洛里安·拉贝 2 2021 将形式数学注入LaTeX。 Zbl 07691298号 穆勒，丹尼斯；迈克尔·科尔哈斯 1 2022 以知识表示格式访问Isabelle内容。 Zbl 07756106号 迈克尔·科尔哈斯；弗洛里安·拉贝；马卡里乌斯·温泽尔 1 2020 数学知识管理。第四届国际会议，MKM 2005，德国不来梅，2005年7月15日至17日。修订了选定的论文。 邮编1096.68004 1 2006 观点：解决作者的困境。 Zbl 1108.68593号 安德烈亚·科尔哈斯；迈克尔·科尔哈斯 1 2004 捕捉物理内容：系统、观测和实验。 Zbl 1188.68279号 埃伯哈德·希尔夫（Eberhard R.Hilf）。；迈克尔·科尔哈斯；海因里希·斯坦默约翰斯 1 2006 面向结构化数学知识的协作内容管理和版本控制。 兹比尔1022.68618 迈克尔·科尔哈斯；罗密欧·安格拉什 1 2003 基于KQML和OMRS的数学服务通信协议。 Zbl 0986.68003号 亚历山德罗·阿曼多；迈克尔·科尔哈斯；西尔维奥·兰伊斯 1 2001 作为性能模型的资源自适应模型生成。 Zbl 1061.68158号 迈克尔·科尔哈斯；亚历山大·科勒 1 2003 语义联盟：语义联盟的框架。 Zbl 1278.68298号 加泰林·大卫；君士坦丁·朱科维奇；安德烈亚·科尔哈斯；迈克尔·科尔哈斯 1 2012 行星计划：迈向eMath3.0。 Zbl 1278.68339号 迈克尔·科尔哈斯 1 2012 具有\（\xi\）功能的剪切消除。 Zbl 1226.03060号 克里斯托夫·本兹穆勒；乍得·E·布朗。；迈克尔·科尔哈斯 1 2008 的语义OpenPath（OpenPath）和数学ML3. Zbl 1271.68221号 迈克尔·科尔哈斯；弗洛里安·拉贝 1 2012 管理科学、技术、工程和数学变革的工作流。 Zbl 1278.68291号 谢尔盖·奥特西尔；加泰林·大卫；多米尼克·迪特里希；迈克尔·科尔哈斯；维亚切斯拉夫·兹霍卢德夫 1 2011 结合来源、内容、呈现、叙述和关系表示。 Zbl 1278.68292号 富利亚·霍罗扎尔；阿林·艾科布；君士坦丁·朱科维奇；迈克尔·科尔哈斯；弗洛里安·拉贝 1 2011 模型理论隐藏的证明理论解释。 Zbl 1278.68202号 米海·Codescu；富利亚·霍罗扎尔；迈克尔·科尔哈斯；蒂尔·莫萨科夫斯基；弗洛里安·拉贝 1 2012 表示、存档和搜索数学知识的空间。 Zbl 1403.68280号 米尼亚·伊恩库；迈克尔·科尔哈斯；科内留·普罗德斯库 1 2014 使用MKM技术补偿电子表格的计算偏差。 Zbl 1247.68275号 安德烈亚·科尔哈斯；迈克尔·科尔哈斯 1 2009 本体编写和文档的数学方法。 Zbl 1247.68279号 克里斯托夫·兰格；迈克尔·科尔哈斯 1 2009 MBase：在关系数据库中表示数学知识。 Zbl 0958.68163号 安德烈亚斯·弗兰克；迈克尔·科尔哈斯 1 1999 建立统一的数学数据基础设施：数据库和接口生成。 Zbl 1428.68356号 卡加·贝尔奇奇；迈克尔·科尔哈斯；弗洛里安·拉贝 1 2019 在具有有序函数排序和常量重载的扩展lambda演算中实现统一。 Zbl 1433.68554号 帕特里夏·约翰；迈克尔·科尔哈斯 1 1994 大数学和单脑障碍：数学知识的四足模型。 兹比尔1493.68391 雅克·卡雷特；Farmer，William M。；迈克尔·科尔哈斯；弗洛里安·拉贝 1 2021 （lambda）-演算的彩色版本。 Zbl 1430.68412号 迪特尔·赫特；迈克尔·科尔哈斯 1 1997 软件引用、信息系统等。 Zbl 1367.68336号 迈克尔·科尔哈斯；沃尔夫拉姆·斯珀伯 1 2017 面向数学知识的异构查询语言。 Zbl 1455.68264号 卡加·贝尔奇奇；迈克尔·科尔哈斯；弗洛里安·拉贝 1 2020 TGView3D：理论图形的三维可视化系统。 Zbl 1455.68267号 理查德·马库斯；迈克尔·科尔哈斯；弗洛里安·拉贝 1 2020 自动查找知识管理的理论形态。 Zbl 1417.68211号 穆勒，丹尼斯；迈克尔·科尔哈斯；弗洛里安·拉贝 1 2018 智能计算机数学。2016年7月25日至29日，第九届国际会议，CICM 2016，波兰比亚莱斯托克。诉讼程序。 Zbl 1342.68025号 1 2016 整数序列在线百科全书中的公式语义识别和自动关系查找。 Zbl 1434.68661号 埃克塞尔·卢西纳亚；迈克尔·科尔哈斯 1 2016 系统描述STEX3–a我A类T型E类X（X）-基于语义/主动数学文档的生态系统。 Zbl 07691299号 迈克尔·科尔哈斯；穆勒，丹尼斯 2 2022 将形式数学注入LaTeX。 Zbl 07691298号 穆勒，丹尼斯；迈克尔·科尔哈斯 1 2022 出口主要校样助理库的经验。 Zbl 07461271号 迈克尔·科尔哈斯；弗洛里安·拉贝 2 2021 大数学和单脑障碍：数学知识的四足模型。 Zbl 1493.68391号 雅克·卡雷特；Farmer，William M。；迈克尔·科尔哈斯；弗洛里安·拉贝 1 2021 在正式元语言中表示结构语言特征。 Zbl 1455.68268号 穆勒，丹尼斯；弗洛里安·拉贝；科林·罗斯冈；迈克尔·科尔哈斯 4 2020 以知识表示格式访问Isabelle内容。 Zbl 07756106号 迈克尔·科尔哈斯；弗洛里安·拉贝；马卡里乌斯·温泽尔 1 2020 面向数学知识的异构查询语言。 Zbl 1455.68264号 卡加·贝尔奇奇；迈克尔·科尔哈斯；弗洛里安·拉贝 1 2020 TGView3D：理论图形的三维可视化系统。 Zbl 1455.68267号 理查德·马库斯；迈克尔·科尔哈斯；弗洛里安·拉贝 1 2020 跨数学库的关系数据。 Zbl 1428.68352号 安德烈亚·康多卢奇；迈克尔·科尔哈斯；穆勒，丹尼斯；弗洛里安·拉贝；克劳迪奥·萨塞尔多蒂·科恩；马卡里乌斯·温泽尔 三 2019 建立统一的数学数据基础设施：数据库和接口生成。 Zbl 1428.68356号 卡加·贝尔奇奇；迈克尔·科尔哈斯；弗洛里安·拉贝 1 2019 理论作为类型。 Zbl 1511.68340号 穆勒，丹尼斯；弗洛里安·拉贝；迈克尔·科尔哈斯 4 2018 将IMPS理论库转换为MMT/OMDoc。 Zbl 1417.68175号 乔纳斯·贝岑达尔；迈克尔·科尔哈斯 2 2018 自动查找知识管理的理论形态。 Zbl 1417.68211号 穆勒，丹尼斯；迈克尔·科尔哈斯；弗洛里安·拉贝 1 2018 形式数学系统概念之间的对齐分类。 Zbl 1367.68309号 穆勒，丹尼斯；Thibault Gauthier；塞萨里·卡利西克；迈克尔·科尔哈斯；弗洛里安·拉贝 5 2017 虚拟理论——数学知识库的统一接口。 Zbl 1497.68550号 汤姆·威辛；迈克尔·科尔哈斯；弗洛里安·拉贝 2 2017 通过通用格式的解释使PVS可用于通用服务。 Zbl 1484.68311号 迈克尔·科尔哈斯；穆勒，丹尼斯；萨姆·奥雷；弗洛里安·拉贝 2 2017 软件引用、信息系统等。 Zbl 1367.68336号 迈克尔·科尔哈斯；沃尔夫拉姆·斯珀伯 1 2017 QED重新加载：朝向一个多元的正式数学知识库。 Zbl 1451.68343号 迈克尔·科尔哈斯；弗洛里安·拉贝 4 2016 OpenDreamKit项目中的互操作性：中间的方法。 Zbl 1344.68268号 保罗·奥利维尔·德哈伊；米尼亚·伊恩库；迈克尔·科尔哈斯；亚历山大·科诺瓦洛夫；塞缪尔·莱利耶夫尔；穆勒，丹尼斯；马库斯·普菲弗；弗洛里安·拉贝；尼古拉斯·M·蒂埃里。；汤姆·威辛 三 2016 智能计算机数学。2016年7月25日至29日，第九届国际会议，CICM 2016，波兰比亚莱斯托克。诉讼程序。 Zbl 1342.68025号 1 2016 整数序列在线百科全书中的公式语义识别和自动关系查找。 Zbl 1434.68661号 埃克塞尔·卢西纳亚；迈克尔·科尔哈斯 1 2016 领域：巩固数学理论知识的结构。 Zbl 1304.68169号 雅克·卡雷特；Farmer，William M。；迈克尔·科尔哈斯 7 2014 形式化数学的柔性算子。 Zbl 1304.68171号 富利亚·霍罗扎尔；弗洛里安·拉贝；迈克尔·科尔哈斯 7 2014 系统描述：MathHub.info。 Zbl 1304.68196号 米尼亚·伊恩库；君士坦丁·朱科维奇；迈克尔·科尔哈斯；汤姆·威辛 4 2014 数学知识管理：用理论图超越一个人的头脑。 Zbl 1317.68241号 迈克尔·科尔哈斯 4 2014 数学语义、多语言术语的数据模型和编码。 Zbl 1304.68173号 迈克尔·科尔哈斯 三 2014 表示、归档和搜索数学知识的空间。 Zbl 1403.68280号 米尼亚·伊恩库；迈克尔·科尔哈斯；科内留·普罗德斯库 1 2014 可扩展模块系统。 Zbl 1358.68283号 弗洛里安·拉贝；迈克尔·科尔哈斯 39 2013 OMDoc中的Mizar数学库：翻译和应用。 Zbl 1260.68375号 米尼亚·伊恩库；迈克尔·科尔哈斯；弗洛里安·拉贝；约瑟夫·乌尔班 19 2013 数学公式搜索。 Zbl 1310.68217号 迈克尔·科尔哈斯；Mihaljević-Brandt，海伦娜；沃尔夫拉姆·斯珀伯；奥拉夫·特施克 三 2013 双形理论图的通用机器。 Zbl 1278.68267号 迈克尔·科尔哈斯；费利克斯·曼斯；弗洛里安·拉贝 2 2013 面向异构工具集Hets中的逻辑框架。 Zbl 1278.68286号 米海·Codescu；富利亚·霍罗扎尔；迈克尔·科尔哈斯；蒂尔·莫萨科夫斯基；弗洛里安·拉贝；克里斯蒂娜·索贾科娃 8 2012 在语句级别扩展MKM格式。 Zbl 1278.68293号 富利亚·霍罗扎尔；迈克尔·科尔哈斯；弗洛里安·拉贝 7 2012 将数学主题分类（MSC）作为链接的开放数据集重新实现。 Zbl 1257.68135号 克里斯托夫·兰格；帕特里克·伊恩；阿纳斯塔西娅·迪穆；布拉萨斯、查拉兰波斯；约瑟夫·科内利；沃尔夫拉姆·斯珀伯；迈克尔·科尔哈斯；安东尼奥，伊奥安尼斯 三 2012 MathWebSearch 0.5：缩放开放式公式搜索引擎。 Zbl 1278.68296号 迈克尔·科尔哈斯；博格丹·A·马蒂肯。；科尼利乌·克劳迪·普罗德斯库 2 2012 语义联盟：语义联盟的框架。 Zbl 1278.68298号 加泰林·大卫；君士坦丁·朱科维奇；安德烈亚·科尔哈斯；迈克尔·科尔哈斯 1 2012 行星计划：迈向eMath3.0。 Zbl 1278.68339号 迈克尔·科尔哈斯 1 2012 的语义OpenPath（OpenPath）和数学ML3. Zbl 1271.68221号 迈克尔·科尔哈斯；弗洛里安·拉贝 1 2012 模型理论隐藏的证明理论解释。 Zbl 1278.68202号 米海·Codescu；富利亚·霍罗扎尔；迈克尔·科尔哈斯；蒂尔·莫萨科夫斯基；弗洛里安·拉贝 1 2012 项目摘要：逻辑地图集和集成器（LATIN）。 兹比尔1278.68285 米海·Codescu；富利亚·霍罗扎尔；迈克尔·科尔哈斯；蒂尔·莫萨科夫斯基；弗洛里安·拉贝 18 2011 授权Mizar数学库（MML）。 Zbl 1278.68290号 杰西·阿拉玛；迈克尔·科尔哈斯；莱昂内尔·马曼；亚当·纳莫维奇；彼得·鲁德尼基；约瑟夫·乌尔班 17 2011 关于集成问题的基本观点。 Zbl 1278.68289号 弗洛里安·拉贝；迈克尔·科尔哈斯；克劳迪奥·萨塞尔多蒂·科恩 6 2011 LaTeXML守护进程：协作web上的可编辑数学。 Zbl 1278.68337号 德扬·基涅夫；海因里希·斯坦默约翰斯；布鲁斯·米勒。；迈克尔·科尔哈斯 三 2011 科学、技术、工程和数学变革管理工作流程。 Zbl 1278.68291号 谢尔盖·奥特西尔；加泰林·大卫；多米尼克·迪特里希；迈克尔·科尔哈斯；维亚切斯拉夫·兹霍卢德夫 1 2011 结合来源、内容、呈现、叙述和关系表示。 Zbl 1278.68292号 富利亚·霍罗扎尔；阿林·艾科布；君士坦丁·朱科维奇；迈克尔·科尔哈斯；弗洛里安·拉贝 1 2011 走向大规模的MKM：模块化表示和可扩展的软件架构。 Zbl 1278.68297号 迈克尔·科尔哈斯；弗洛里安·拉贝；维亚切斯拉夫·兹霍卢德夫 7 2010 将大量科学出版物转换为XML。 Zbl 1205.68490号 海因里希·斯坦默约翰斯；迈克尔·科尔哈斯；吉涅夫，德扬；加泰林·大卫；布鲁斯·米勒 4 2010 STEXIDE：STEX集合的集成开发环境。 Zbl 1278.68294号 君士坦丁·朱科维奇；迈克尔·科尔哈斯 2 2010 削减开支和无偿性。 Zbl 1160.03004号 克里斯托夫·本兹穆勒（Christoph E.Benzmüller）。；乍得·E·布朗。；迈克尔·科尔哈斯 8 2009 来自LaTeX的MathML-aware文章转换的比较研究。 Zbl 1176.68233号 海因里希·斯坦默约翰斯；德扬·基涅夫；加泰林·大卫；迪米塔尔·米西；弗拉基米尔·扎姆德日耶夫；迈克尔·科尔哈斯 4 2009 面向基于上下文的数学表达式消歧。 Zbl 1186.68530号 米海·格里戈；马格达莱纳沃尔斯卡；迈克尔·科尔哈斯 三 2009 统一数学本体论：两个标准的故事。 Zbl 1247.68268号 詹姆斯·H·达文波特。；迈克尔·科尔哈斯 2 2009 电子表格与框架的交互：探索数学实践。 Zbl 1247.68274号 安德烈亚·科尔哈斯；迈克尔·科尔哈斯 2 2009 使用MKM技术补偿电子表格的计算偏差。 Zbl 1247.68275号 安德烈亚·科尔哈斯；迈克尔·科尔哈斯 1 2009 本体编写和文档的数学方法。 Zbl 1247.68279号 克里斯托夫·兰格；迈克尔·科尔哈斯 1 2009 使用LaT型E类X（X）作为一种语义标记格式。 Zbl 1176.68230号 迈克尔·科尔哈斯 13 2008 动态数学文档的符号。 Zbl 1166.00304号 迈克尔·科尔哈斯；克里斯汀·米勒；弗洛里安·拉贝 7 2008 具有\（\xi\）功能的剪切消除。 Zbl 1226.03060号 克里斯托夫·本兹穆勒；乍得·E·布朗。；迈克尔·科尔哈斯 1 2008 数学知识检索和共享的扩展公式规范化。 Zbl 1202.68157号 伊曼纽尔·诺曼；迈克尔·科尔哈斯 三 2007 重新审视MKM价值主张：从数学Web搜索到数学Web重新搜索。 Zbl 1202.68467号 安德烈亚·科尔哈斯；迈克尔·科尔哈斯 2 2007 数学公式搜索引擎。 Zbl 1156.68306号 迈克尔·科尔哈斯；艾奥·苏坎 15 2006 数学知识空间的探索。 兹比尔1151.68666 安德烈亚·科尔哈斯；迈克尔·科尔哈斯 三 2006 MKM实践社区：扩展模型。 Zbl 1188.68281号 安德烈亚·科尔哈斯；迈克尔·科尔哈斯 2 2006 数学知识管理。第四届国际会议，MKM 2005，德国不来梅，2005年7月15日至17日。修订了选定的论文。 邮编1096.68004 1 2006 捕捉物理内容：系统、观测和实验。 Zbl 1188.68279号 埃伯哈德·希尔夫（Eberhard R.Hilf）。；迈克尔·科尔哈斯；海因里希·斯坦默约翰斯 1 2006 高阶语义和扩展性。 Zbl 1071.03024号 克里斯托夫·本兹穆勒；乍得·E·布朗。；迈克尔·科尔哈斯 28 2004 观点：解决作者的困境。 Zbl 1108.68593号 安德烈亚·科尔哈斯；迈克尔·科尔哈斯 1 2004 面向结构化数学知识的协作内容管理和版本控制。 兹比尔1022.68618 迈克尔·科尔哈斯；罗密欧·安格拉什 1 2003 作为性能模型的资源自适应模型生成。 Zbl 1061.68158号 迈克尔·科尔哈斯；亚历山大·科勒 1 2003 使用\（\Omega\）MEGA验证开发。 Zbl 1072.68591号 约格·西克曼；克里斯托夫·本兹穆勒；弗拉基米尔·勃列日涅夫；Lassaad Cheikhrouhou；阿明·菲德勒；安德烈亚斯·弗兰克；赫尔穆特·霍拉切克；迈克尔·科尔哈斯；安德烈亚斯·梅耶；艾丽卡·梅利斯；马库斯·莫什内尔；伊曼纽尔·诺曼；马丁·波莱特；沃尔克·索尔格；卡斯滕·乌尔里奇；克劳斯·皮特·沃思；尤根·齐默 7 2002 系统描述：用于分布式数学推理的MathWeb软件总线。 Zbl 1072.68601号 尤根·齐默；迈克尔·科尔哈斯 4 2002 OMDOC：为数学知识的管理、分发和教学制定互联网标准。 Zbl 1042.00511号 迈克尔·科尔哈斯 7 2001 MBase：表示数学软件系统集成的知识和上下文。 Zbl 0981.68153号 迈克尔·科尔哈斯；安德烈亚斯·弗兰克 三 2001 符号计算和自动推理。CALCULEMUS-2000研讨会。2000年8月6日至7日，英国苏格兰圣安德鲁斯，第8届符号计算与机械化推理集成研讨会。 Zbl 0962.0008 2 2001 基于KQML和OMRS的数学服务通信协议。 Zbl 0986.68003号 亚历山德罗·阿曼多；迈克尔·科尔哈斯；西尔维奥·兰伊斯 1 2001 通过高阶彩色统一管理结构信息。 Zbl 0959.03007号 迪特尔·赫特；迈克尔·科尔哈斯 2 2000 系统描述：MBase，一个开放的数学知识库。 Zbl 0963.68543号 安德烈亚斯·弗兰克；迈克尔·科尔哈斯 2 2000 面向代理的分布式数学服务集成。 Zbl 0961.68117号 安德烈亚斯·弗兰克；斯蒂芬·赫斯（Stephan M.Hess）。；克里斯托夫·荣格。；迈克尔·科尔哈斯；沃尔克·索尔格 4 1999 MBase：在关系数据库中表示数学知识。 Zbl 0958.68163号 安德烈亚斯·弗兰克；迈克尔·科尔哈斯 1 1999 将计算机代数集成到证明规划中。 Zbl 0916.68144号 曼弗雷德·科伯；迈克尔·科尔哈斯；沃尔克·索尔格 9 1998 扩展高阶分辨率。 Zbl 0928.03004号 克里斯托夫·本兹穆勒；迈克尔·科尔哈斯 三 1998 高阶自动定理证明。 Zbl 0971.68141号 迈克尔·科尔哈斯 三 1998 \（\欧米茄\）百万：朝向数学助理。 Zbl 1430.68393号 克里斯托夫·本兹穆勒；Lassaad Cheikhrouhou；Fehrer、Detlef；阿明·菲德勒；黄晓荣；曼弗雷德·科伯；迈克尔·科尔哈斯；卡斯滕·康拉德；安德烈亚斯·梅耶；艾丽卡·梅利斯；沃尔夫·沙尔斯奇米特；约格·西克曼；沃尔克·索尔格 10 1997 （lambda）-演算的彩色版本。 Zbl 1430.68412号 迪特尔·赫特；迈克尔·科尔哈斯 1 1997 部分功能的画面。 兹比尔0851.03004 曼弗雷德·科伯；迈克尔·科尔哈斯 2 1996 部分函数的强Kleene逻辑的机械化。 Zbl 1433.03024号 曼弗雷德·科伯；迈克尔·科尔哈斯 7 1994 在具有有序函数排序和常量重载的扩展lambda演算中实现统一。 Zbl 1433.68554号 帕特里夏·约翰；迈克尔·科尔哈斯 1 1994 有序分类理论中的统一。 Zbl 0925.03080号 迈克尔·科尔哈斯 三 1992 所有引用的出版物 前5名被引用出版物 全部的 前5名268位作者引用 43 迈克尔·科尔哈斯 30 弗洛里安·拉贝 21 克里斯托夫·埃瓦尔德·本兹穆勒 12 塞萨里·卡利西克 8 穆勒，丹尼斯 8 Pąk，卡罗尔 7 Farmer，William M。 7 阿图尔·科尔尼·奥维茨 7 亚当·纳莫维奇 6 富利亚·霍罗扎尔 6 米尼亚·伊恩库 5 贾斯敏·克里斯蒂安·布兰切特 5 乍得·布朗·爱德华 5 雅克·卡雷特 5 莫里茨·舒博茨 5 奥拉夫·特施克 5 约瑟夫·乌尔班 4 阿塔耶娃，O.M。 4 谢尔盖·奥特西尔 4 亚当·格拉博夫斯基 4 曼弗雷德·科伯 4 安德烈亚·科尔哈斯 4 蒂尔·莫萨科夫斯基 4 劳伦斯·查尔斯·保尔森 4 克劳迪奥·萨塞尔多蒂·科恩 4 谢列布里亚科夫。 4 亚历山大·斯蒂恩 4 杰夫·萨特克利夫 4 纳塔尔亚·巴夫洛夫娜·图奇科娃 三 米海·Codescu 三 Thibault Gauthier 三 吉涅夫，德扬 三 迪特尔·赫特 三 君士坦丁·朱科维奇 三 英国利帕切夫。 三 艾丽卡·梅利斯 三 布鲁斯·米勒。 三 奥尔加·阿韦尼罗夫纳·涅夫佐罗娃 三 托比亚斯·尼普科 三 谢克曼，Jörg H。 三 沃尔克·索尔格 三 佩塔·武克米罗维奇 三 乌韦·沃尔德曼 三 汤姆·威辛 2 朱利安·巴克斯 2 格拉泽戈兹·班塞雷克 2 亚历山大·本特坎普 2 Czesław拜林斯基 2 奥尔加·卡普洛蒂 2 陈晓宇 2 加泰林·大卫 2 汉斯·德·尼维尔 2 Besik Dundua 2 Elizarov，A.M。 2 Fehrer、Detlef 2 费卢西奥·圭迪 2 安妮卡·坎科斯 2 Aleksandr Vital’evich，基里洛维奇 2 特默尔库西亚 2 克里斯托夫·兰格 2 罗马人Matuszewski 2 安德烈亚斯·梅耶 2 费比安·米勒 2 Mila，Runnerth 2 简·弗雷德里克·谢弗 2 索洛夫·v·D·。 2 沃尔夫拉姆·斯珀伯 2 海因里希·斯坦默约翰斯 2 尼克·苏尔塔纳 2 泰斯，弗兰克 2 索菲·托雷特 2 马卡里乌斯·温泽尔 2 克劳斯·皮特·沃思 2 马克斯·维斯涅夫斯基 2 布鲁诺沃尔岑洛格尔古 2 阿卜杜·尤塞夫。 1 Akiko N.Aizawa。 1 法比奥·阿莱西 1 斯图亚特·艾伦。 1 安德鲁斯，彼得·B·。 1 亚历山德罗·阿曼多 1 苏珊娜·阿恩特 1 索伦·奥尔 1 达米安·巴索蒂 1 卡加·贝尔奇奇 1 马克·伯吉斯 1 Jan A.Bergstra。 1 乔纳斯·贝岑达尔 1 马克·比克福德 1 威廉·比林斯利 1 尼古拉·博塔 1 伊丽莎白·布拉德利 1 于尔根·布劳伯格 1 努里亚·布雷德 1 阿希姆·D·布鲁克。 1 阿兰·邦迪 1 保罗·凯恩斯 1 内森·卡特（Nathan C.Carter）。 1 Lassaad Cheikhrouhou 1 阿比舍克·丘格 …还有168位作者 全部的 前5名33篇连载文章中引用 26 自动推理杂志 10 符号计算杂志 8 应用逻辑杂志 6 洛巴切夫斯基数学杂志 4 计算机科学中的数学 三 理论计算机科学 三 信息与计算 三 计算的形式方面 2 人工智能 2 哲学逻辑杂志 2 应用非经典逻辑杂志 2 欧洲数学学会新闻稿 2 ACM计算逻辑事务 2 泛逻辑 1 信息学报 1 数学信使 1 信息科学 1 Studia Logica公司 1 纯逻辑与应用逻辑年鉴 1 计算机科学与技术杂志 1 MSCS公司。计算机科学中的数学结构 1 函数编程杂志 1 数学与人工智能年鉴 1 Doklady数学 1 逻辑与代数程序设计杂志 1 逻辑与逻辑哲学 1 萨达纳 1 计算机语言、系统和结构 1 并行处理信件 1 数学生物科学与工程 1 计算机科学中的逻辑方法 1 符号逻辑述评 1 形式化推理杂志 全部的 前5名16个领域引用 183 计算机科学（68至XX） 59 数理逻辑与基础（03-XX） 5 总体主题；集合（00-XX） 5 历史和传记（01-XX） 三 数论（11-XX） 三 范畴理论；同调代数（18-XX） 2 组合数学（05-XX） 2 特殊功能（33至XX） 1 阶、格、有序代数结构（06-XX） 1 群论与推广（20-XX） 1 常微分方程（34-XX） 1 偏微分方程（35-XX） 1 几何图形（51至XX） 1 光学、电磁理论（78-XX） 1 运筹学、数学规划（90-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.