编辑配置文件（在新选项卡中打开） 克里斯托夫·兰格 合著者距离 作者ID： 兰格·克里斯托夫 发布日期： 克里斯托夫·兰格 主页： https://langec.wordpress.com 外部链接： ORCID公司·维基数据·谷歌学者·推特·数据库管理程序 已编制索引的文档： 13出版物自2009年以来，包括1本书 2作为编辑的贡献 合著者： 23位合著者具有13联合出版物 505合著作者 全部的 前5名合著者 2 单作者的 5 曼弗雷德·科伯 5 科林·罗亚特 三 迈克尔·科尔哈斯 三 蒂尔·莫萨科夫斯基 2 马可·布赖特·卡米纳蒂 2 奥利弗·库茨 2 沃尔夫冈·温斯特伊格 1 安东尼奥（Antoniou），伊奥安尼斯·E。 1 大卫·阿斯皮纳尔 1 布拉萨斯、查拉兰波斯 1 雅克·卡雷特 1 约瑟夫·科内利 1 阿纳斯塔西亚·迪莫 1 贾娜·吉切娃 1 迈克尔·格鲁宁格 1 帕特里克·D·F·伊恩。 1 安德里亚·科尔哈塞 1 弗洛里安·拉贝 1 彼得·索伊卡 1 沃尔夫拉姆·斯珀伯 1 坦克墨水，雕刻 1 约瑟夫·乌尔班 1 马卡里乌斯·温泽尔 系列 1 数学经济学杂志 1 计算机科学课堂讲稿 1 计算机科学中的数学 1 语义网研究 领域 15 计算机科学（68至XX） 4 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用25中的次22文件 引用人▼ 年份▼ 分布式本体语言的语义：机构和机构。 Zbl 1394.68379号 蒂尔·莫萨科夫斯基；奥利弗·库茨；克里斯托夫·兰格 6 2013 将web服务集成到活动数学文档中。 Zbl 1247.68314号 贾娜·吉切娃；克里斯托夫·兰格；弗洛里安·拉贝 5 2009 定性比较四个定理证明器对基本拍卖理论的适用性。 Zbl 1390.68577号 克里斯托夫·兰格；马可·B·卡米纳。；曼弗雷德·科伯；蒂尔·莫萨科夫斯基；科林·罗亚特；马卡里乌斯·温泽尔；沃尔夫冈·温斯特伊格 5 2013 将数学主题分类（MSC）作为链接的开放数据集重新实现。 Zbl 1257.68135号 克里斯托夫·兰格；帕特里克·伊恩；阿纳斯塔西亚·迪莫；布拉萨斯、查拉兰波斯；约瑟夫·科内利；沃尔夫拉姆·斯珀伯；迈克尔·科尔哈斯；安东尼奥，伊奥安尼斯 三 2012 介绍机械化推理。 Zbl 1368.68289号 曼弗雷德·科伯；克里斯托夫·兰格；科林·罗亚特 2 2016 本体创作和文档编制的数学方法。 Zbl 1247.68279号 克里斯托夫·兰格；迈克尔·科尔哈斯 1 2009 ForMaRE项目——经济学中的形式数学推理。 Zbl 1390.68578号 克里斯托夫·兰格；科林·罗亚特；曼弗雷德·科伯 1 2013 通过语义web集成实现半形式数学知识的协作。 Zbl 1275.68005号 克里斯托夫·兰格 1 2011 智能计算机数学。MKM、Calculemus、DML以及2013年系统和项目，作为2013年CICM的一部分，于2013年7月8日至12日在英国巴斯举行。诉讼程序。 Zbl 1268.68008号 1 2013 介绍机械化推理。 Zbl 1368.68289号 曼弗雷德·科伯；克里斯托夫·兰格；科林·罗亚特 2 2016 分布式本体语言的语义：机构和机构。 Zbl 1394.68379号 蒂尔·莫萨科夫斯基；奥利弗·库茨；克里斯托夫·兰格 6 2013 定性比较四个定理证明器对基本拍卖理论的适用性。 Zbl 1390.68577号 克里斯托夫·兰格；马可·B·卡米纳。；曼弗雷德·科伯；蒂尔·莫萨科夫斯基；科林·罗亚特；马卡里乌斯·温泽尔；沃尔夫冈·温斯特伊格 5 2013 ForMaRE项目——经济学中的形式数学推理。 Zbl 1390.68578号 克里斯托夫·兰格；科林·罗亚特；曼弗雷德·科伯 1 2013 智能计算机数学。MKM、Calculemus、DML以及2013年系统和项目，作为2013年CICM的一部分，于2013年7月8日至12日在英国巴斯举行。诉讼程序。 兹比尔1268.68008 1 2013 将数学主题分类（MSC）作为链接的开放数据集重新实现。 Zbl 1257.68135号 克里斯托夫·兰格；帕特里克·伊恩；阿纳斯塔西亚·迪莫；布拉萨斯、查拉兰波斯；约瑟夫·科内利；沃尔夫拉姆·斯珀伯；迈克尔·科尔哈斯；安东尼奥，伊奥安尼斯 三 2012 通过语义web集成实现半形式数学知识的协作。 Zbl 1275.68005号 克里斯托夫·兰格 1 2011 将web服务集成到活动数学文档中。 Zbl 1247.68314号 贾娜·吉切娃；克里斯托夫·兰格；弗洛里安·拉贝 5 2009 本体编写和文档的数学方法。 兹比尔1247.68279 克里斯托夫·兰格；迈克尔·科尔哈斯 1 2009 所有引用出版物 前5名被引用出版物 全部的 前5名51位作者引用 6 迈克尔·科尔哈斯 4 克里斯托夫·兰格 4 蒂尔·莫萨科夫斯基 4 弗洛里安·拉贝 2 阿塔瓦，O.M。 2 米海·Codescu 2 富利亚·霍罗扎尔 2 米尼亚·伊恩库 2 君士坦丁·朱科维奇 2 曼弗雷德·科伯 2 科林·罗亚特 2 Serebryakov，V.A。 2 纳塔尔亚·巴夫洛夫娜·图奇科娃 2 汤姆·威辛 1 苏珊娜·阿恩特 1 谢尔盖·奥特西尔 1 吉尔·巴特 1 安妮特·米歇尔·福阿德·比萨拉 1 马可·布赖特·卡米纳蒂 1 保罗·奥利维尔·德哈伊 1 拉兹万·迪亚科内斯库 1 马可·加博阿迪 1 埃米利奥·杰苏斯·加列戈·阿里亚斯 1 西多因·戈姆西·诺坎姆 1 乔纳森·赫拉斯 1 贾斯汀·徐 1 阿林·艾科布 1 伊巴涅兹，雅兹明·安吉利卡 1 帕特里克·D·F·伊恩。 1 亚历山大·纳普 1 叶卡捷琳娜·科门丹茨卡亚 1 Olexandr科诺瓦洛夫 1 Krieg-Brückner，伯尔尼 1 奥利弗·库茨 1 塞缪尔·莱利耶夫尔 1 亚历山大·马列茨基 1 穆勒，丹尼斯 1 费边·纽豪斯 1 马库斯·普菲弗 1 马丁·林克 1 马库斯·罗根巴赫 1 罗斯、亚伦·莱昂 1 Mila，Runnerth 1 唐纳德·桑内拉。 1 莫里茨·舒博茨 1 Pierre-Yves支柱 1 柳竹村 1 安德烈·塔莱基 1 奥拉夫·特施克 1 尼古拉斯·马克·蒂埃里 1 沃尔夫冈·温斯特伊格 5篇连载文章中引用 2 洛巴切夫斯基数学杂志 1 数学经济学杂志 1 数学社会科学 1 信息与计算 1 计算机科学中的数学 在3个字段中引用 20 计算机科学（68至XX） 5 博弈论、经济学、金融和其他社会和行为科学（91-XX） 三 数学逻辑和基础（03-XX） 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.