×
雅克·卡雷特;法默，威廉·M。

数学知识管理综述。 （英语） Zbl 1247.68266号

Carette，Jacques（编辑）等人，《智能计算机数学》。2009年7月6日至12日，在加拿大大本德举行了2009年第16届Calculemus研讨会，2009年第8届MKM国际会议，作为2009年CICM的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02613-3/pbk）。计算机科学讲义5625。人工智能课堂讲稿，233-246（2009）。
摘要：数学知识管理（MKM）作为一个领域，在过去几年里取得了巨大的发展。这一时期是许多研究线索开始的时期，该领域正在定义自己。我们认为，我们现在可以使用MKM知识体系来定义MKM是什么、它担心什么等。在本文中，我们回顾了MKM的文献，并从这些论文中收集了各种元数据。在给出了关于MKM的一些定义之后，我们分析了从这些论文中收集到的元数据，以期对MKM及其演变领域有更多的了解。
有关整个系列，请参见[Zbl 1165.68005号].

引用于3文件

MSC公司：

68立方英尺 知识表示

软件：

自动化;校样通用套件
PDF格式BibTeX公司 XML格式引用
\textit{J.Carette}和\textit{W.M.Farmer}，莱克特。注释计算。科学。5625233-246（2009年；Zbl 1247.68266）
全文： 内政部

参考文献：

[1] Adams，A.A.：数字化、表示和形式化。摘自：Asperti等人（编辑）[4]，第1-16页·Zbl 1022.68609号
[2] Adams，A.A.，Davenport，J.H.：MKM的版权问题。摘自：Asperti等人（编辑）[3]，第1-16页·Zbl 1108.68581号 ·doi:10.1007/978-3-540-27818-4_1
[3] Asperti，A.、Bancerek，G.、Trybulec，A.（编辑）：MKM 2004。LNCS，第3119卷。斯普林格，海德堡（2004）·Zbl 1053.68003号
[4] Asperti，A.、Buchberger，B.、Davenport，J.H.（编辑）：MKM 2003。LNCS，第2594卷。斯普林格，海德堡（2003）·兹比尔1015.00029
[5] Aspinall，D.，Lüth，C.，Winterstein，D.：交互式证明框架。收录于：考尔斯等人（编辑）[27]，第161-175页·Zbl 1202.68371号 ·doi:10.1007/978-3-540-73086-6_15
[6] Autexier，S.、Campbell，J.、Rubio，J.，Sorge，V.、Suzuki，M.、Wiedijk，F.（编辑）：AISC 2008、Calculemus 2008和MKM 2008。LNCS，第5144卷。斯普林格，海德堡（2008）·Zbl 1154.68002号
[7] Borwein，J.M.，Farmer，W.M.（编辑）：MKM 2006。LNCS，第4108卷。斯普林格，海德堡（2006）·Zbl 1114.68004号
[8] Borwein，J.M.，Stanway，T.：管理数字数学话语。摘自：Asperti等人（编辑）[4]，第45-55页·兹比尔1022.68611 ·doi:10.1007/3-540-36469-24
[9] Boyer，R.：《量化宽松宣言》。收录：Bundy，A.（编辑）《CADE 12会议录》，第238–251页（1994年）
[10] Buchberger，B.，Caprotti，O.（编辑）：第一届数学知识管理国际研讨会电子会议记录：MKM 2001。RISC-Linz（2001），http://www.risc.uni-linz.ac.at/about/conferences/MKM2001/会议记录 ·Zbl 0978.00042号
[11] Buchberger，B.、Gonnet，G.H.、Hazewinkel，M.（编辑）：数学知识管理。安。数学。Artif公司。《情报》，第38卷。Kluwer，Dordrecht（2003）
[12] 邦迪：逻辑理论中的自动签名进化。收录：Autexier等人（编辑）[6]，第333–338页·Zbl 1166.68356号 ·doi:10.1007/978-3-540-85110-3_29
[13] Cairns，P.A.，Gow，J.，Collins，P.：关于动态呈现拓扑课程。安。数学。Artif公司。智力。 38(1-3), 91–104 (2003) ·Zbl 1033.68734号 ·doi:10.1023/A:1022963714083
[14] Cajori，F.：数学符号史。纽约多佛（重印）（1929年）
[15] 科恩，C.S.：从证明者到分布式数学图书馆：技巧和陷阱。摘自：Asperti等人（编辑）[4]，第30-44页·Zbl 1022.68614号 ·doi:10.1007/3-540-36469-23
[16] Davis，M.：《通用计算机：从莱布尼茨到图灵之路》，W.W.Norton&Co.，Inc.，纽约（2000）·Zbl 0960.01001号
[17] de Bruijn，N.G.：项目自动化调查。致H.B.Curry：组合逻辑论文，579-606（1980）
[18] 《科学百科全书》，第1751-1772页
[19] Engelbart，D.：增强人类智力的研究中心（演示）（1968年12月），http://en.wikipedia.org/wiki/The_Mother_of_All_Demos网站
[20] Farmer，W.M.：MKM：一个新的跨学科研究领域。ACM SIGSAM公告38，47–52（2004）·Zbl 1341.68225号 ·数字对象标识代码：10.1145/1041791.1041795
[21] Farmer，W.M.：数学知识管理。收录：Schwartz，D.G.（编辑）《知识管理百科全书》。《信息科学参考》，第599-604页（2005年）
[22] Frege，G.：Begriffsschrift：数学基础理论。L.Nebert，Halle a/S（1879/1997）
[23] 哥德尔（Gödel，K.）：这是一个正式的未经验证的数学原理与系统。Monatsheft für Mathematik und Physik修道院38（1），173-198（1931）·Zbl 0002.00101号 ·doi:10.1007/BF01700692
[24] Guidi，F.，Schena，I.：关于数学资源的元数据框架的查询语言。摘自：Asperti等人（编辑）[4]，第105–118页·Zbl 1022.68616号 ·doi:10.1007/3-540-36469-29
[25] Heeren，B.，Jeuring，J.，van Leeuwen，A.，Gerdes，A.：指定练习策略。收录：Autexier等人（编辑）[6]，第430-445页·Zbl 1166.68366号 ·doi:10.1007/978-3-540-85110-3_36
[26] Horozal，F.F.，Brown，C.E.：独立类型集合理论中数学的形式表示。收录于：考尔斯等人（编辑）[27]，第265-279页·Zbl 1202.68380号 ·doi:10.1007/978-3-540-73086-6_22
[27] Kauers，M.、Kerber，M.，Miner，R.、Windsteiger，W.（编辑）：MKM/CALCULEMUS 2007。LNCS，第4573卷。斯普林格，海德堡（2007）·Zbl 1119.68011号
[28] Kohlhase，A.，Kohlhace，M.：数学知识空间的探索。收录：科尔哈斯（编辑）[29]，第17-32页·Zbl 1151.68666号 ·doi:10.1007/11618027_2
[29] Kohlhase，M.（编辑）：MKM 2005。LNCS，第3863卷。斯普林格，海德堡（2006）·邮编1096.68004
[30] Libbrecht，P.、Desmoulins，C.、Mercat，C.，Laborde，C.、Dietrich，M.、Hendriks，M.：Intergeo的跨课程搜索。收录：Autexier等人（编辑）[6]，第520-535页·Zbl 1166.68367号 ·doi:10.1007/978-3-540-85110-3_42
[31] 数学知识管理研讨会，http://www.macs.hw.ac.uk/fairouz/mkm-研讨会03/
[32] Melis，E.，Büdenbender，J.，Goguadze，G.，Libbrecht，P.，Ullrich，C.：活动中的知识表示和管理。安。数学。Artif公司。智力。 38(1-3), 47–64 (2003) ·兹比尔1025.68083
[33] 北美数学知识管理讲习班（NA-MKM 2002）（2002），http://imps.mcmaster.ca/na-mkm-2002/
[34] 第二届北美数学知识管理讲习班（NA-MKM 2004）（2004），http://imps.mcmaster.ca/na-mkm-2004/
[35] 数学知识管理研讨会：可持续性、可扩展性和互操作性，http://projects.cs.dal.ca/ddrive/seminars/mkm.shtml
[36] Nederpelt，R.、Geuvers，J.、de Vrijer，R.：自动化精选论文。逻辑与数学基础研究133（1994）
[37] Padovani，L.：关于LaTeX和MathML在编码和处理数学表达式中的作用。摘自：Asperti等人（编辑）[4]，第66–79页·Zbl 1022.68620号 ·doi:10.1007/3-540-36469-26
[38] Parnas，D.L.：关于“流行语”：等级结构，第429-440页。施普林格，海德堡（2002）
[39] 图灵，A.M.：类型理论的实践形式。符号逻辑杂志13，80–94（1948）·Zbl 0054.00603号 ·doi:10.2307/2267329
[40] Urban，J.：XML-izing Mizar：简化mml的语义处理和表示。收录：科尔哈斯（编辑）[29]，第346–360页·Zbl 1151.68681号
[41] Verchinine，K.，Lyaletski，A.V.，Paskevich，A.，Anisimov，A.：从逻辑和实践的角度探讨数学文本的正确性。收录：Autexier等人（编辑）[6]，第583-598页·Zbl 1166.68353号 ·doi:10.1007/978-3-540-85110-3_47
[42] 怀特黑德，A.N.，罗素，B.：数学原理。剑桥大学出版社，剑桥（1910）
[43] 维迪杰克（Wiedijk，F.）：重温QED宣言。逻辑、语法和修辞研究10（23），121-133（2007）
[44] Youssef，A.：数学搜索在数学中的作用。收录：Borwein，Farmer（编辑）[7]，第2-16页·Zbl 1188.68128号 ·数字对象标识代码：10.1007/11812289_2
[45] Youssef，A.：数学搜索中的相关性排序和命中率生成方法。在：Kauers等人（编辑）[27]，第393–406页·Zbl 1202.68161号 ·doi:10.1007/978-3-540-73086-6_31
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。