OMDoc公司 swMATH ID: 7138 软件作者： 迈克尔·科尔哈斯 说明： OMDOC：为数学知识的管理、分发和教学制定互联网标准。在本文中，我们将OMDOC扩展到OPENMATH标准，允许表示各种数学文档的语义和结构，包括文章、教科书、交互式书籍、课程。它可以作为数学软件总线上数学服务的代理通信的内容语言。 主页： https://trac.omdoc.org/omdoc网站 关键词： 数学知识 相关软件： MMT公司;Coq公司;米扎尔;动态数学;伊莎贝尔/HOL;伊莎贝尔;自动化;数学Web搜索;伊萨尔;Nuprl公司;PVS公司;TPTP公司;Twelf公司;拉丁语;HOL公司;HOL灯;枣灰蝶属;sTeX公司;CASL公司;平方米 引用于： 93文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 OMDOC：为数学知识的管理、分发和教学制定互联网标准。 Zbl 1042.00511号迈克尔·科尔哈斯 2001 全部的 前5名被149位作者引用 37 迈克尔·科尔哈斯 22 弗洛里安·拉贝 6 米尼亚·伊恩库 6 阿图尔·科尔尼·奥维茨 6 穆勒，丹尼斯 5 安德里亚·科尔哈塞 5 汤姆·威辛 4 艾丽卡·梅利斯 4 杰夫·萨特克利夫 三 谢尔盖·奥特西尔 三 简·赫尔曼·杰弗斯 三 亚当·格拉博夫斯基 三 富利亚·霍罗扎尔 三 塞萨里·卡利西克 三 Aleksandr Vital’evich，基里洛维奇 三 保罗·利布雷希特 三 亚当·纳莫维奇 三 奥尔加·阿韦尼罗夫纳·涅夫佐罗娃 三 Pąk，卡罗尔 2 Grzegorz Bancerek公司 2 克里斯托夫·埃瓦尔德·本兹穆勒 2 乍得·布朗·爱德华 2 布赫伯格，布鲁诺 2 Czesław拜林斯基 2 科恩，阿尔杰·马塞尔 2 罗伯特·李，警察 2 理查德·伊顿 2 德扬·基涅夫 2 乔纳森·赫拉斯 2 克里斯托夫·兰格 2 英国利帕切夫。 2 洛里戈，洛里 2 罗马人Matuszewski 2 蒂尔·莫萨科夫斯基 2 克里斯汀·米勒 2 维科·帕斯夸尔 2 马库斯·普菲弗 2 鲁比奥·加西亚、朱利奥·杰苏斯 2 斯蒂芬·舒尔茨 2 沃尔夫拉姆·斯珀伯 2 尼古拉斯·马克·蒂埃里 2 约瑟夫·乌尔班 2 马克·奥利弗·瓦格纳 2 尼基塔·根纳德·埃维奇·日尔佐夫 1 安德鲁·阿伯丁 1 斯图亚特·艾伦。 1 亚历山德罗·阿曼多 1 安德烈亚·阿斯佩蒂 1 大卫·阿斯皮纳尔 1 亨德里克·彼得·巴伦德雷格特 1 乔纳斯·贝岑达尔 1 马克·贝泽姆 1 马克·比克福德 1 威廉·比林斯利 1 叶夫根·瓦西尔·埃维奇（EvgeniĭVasil’evich），比亚尔·塞夫（Biryal’tsev） 1 约琴·布登本德 1 克里斯蒂安·卡鲁德。 1 奥尔加·卡普洛蒂 1 陈晓宇 1 科恩·克莱森 1 米海·Codescu 1 阿德里安 1 路易斯·克鲁兹·菲利佩 1 汉斯·库珀斯 1 詹姆斯·哈罗德·达文波特 1 加泰林·大卫 1 卢卡·德·费奥 1 保罗·奥利维尔·德哈伊 1 大卫·德拉哈耶 1 丹尼·埃文 1 Elizarov，A.M。 1 Farmer，William M。 1 阿明·菲德勒 1 安德烈亚斯·弗兰克 1 伯克哈德·弗雷塔格 1 贾娜·吉切娃 1 乔治·戈瓜泽 1 格罗斯，克里斯蒂安 1 迪特尔·赫特 1 贾尼契奇，普雷德拉格 1 都铎Jebelean 1 君士坦丁·朱科维奇 1 君士坦丁·朱科夫什 1 Fairouz D.卡马雷丁。 1 乔恩·迈克尔·克莱伯格 1 Olexandr科诺瓦洛夫 1 托马斯·科普鲁基 1 科瓦奇，劳拉·伊尔迪科 1 克里斯托夫·克里茨 1 Krieg-Brückner，伯尔尼 1 特默尔库西亚 1 塞缪尔·莱利耶夫尔 1 克里斯托夫·吕斯 1 埃克塞尔·卢西纳亚 1 亚历山大·利亚列茨基。 1 曼努埃尔·马雷克 1 费利克斯·曼斯 1 理查德·马库斯 1 米凯拉·梅耶罗 1 安德烈亚斯·梅耶 …还有49位作者 全部的 前5名17篇连载文章中引用 8 自动推理杂志 5 符号计算杂志 5 计算机科学中的数学 2 洛巴切夫斯基数学杂志 2 应用逻辑杂志 1 理论计算机科学 1 计算机科学与技术杂志 1 信息与计算 1 计算的形式方面 1 数学与人工智能年鉴 1 科学基础 1 萨达纳 1 计算机语言、系统和结构 1 计算机科学课堂讲稿 1 泛逻辑 1 形式化推理杂志 1 Uchenye Zapiski Kazanskogo大学。Seriya Fiziko-Matematicheskie Nauki公司 全部的 前5名10个领域引用 91 计算机科学（68至XX） 11 数学逻辑和基础（03-XX） 8 总体主题；集合（00-XX） 6 数学教育（97-XX） 1 历史和传记（01-XX） 1 组合数学（05-XX） 1 数论（11-XX） 1 交换代数（13-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 代数拓扑（55-XX） 按年份列出的引文