安德烈亚·阿斯佩蒂(编辑);布赫伯格,布鲁诺(编辑);詹姆斯·达文波特。(编辑) 数学知识管理。第二届国际会议,2003年MKM,意大利贝蒂诺罗,2003年2月16日至18日。诉讼程序。 (英语) 兹比尔1015.00029 计算机科学课堂讲稿. 2594. 柏林:斯普林格。x、 223页(2003年)。 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。之前的研讨会已经过审查(请参阅Zbl 0978.00042号).索引文章:安德鲁·亚当斯(Andrew A.Adams)。数字化、表示和正式化,1-16[Zbl 1022.68609号]詹姆斯·H·达文波特。,MKM从书本到计算机:案例研究,17-29[Zbl 1022.68118号]克劳迪奥·萨塞尔多蒂·科恩,《从证明者到分布式数学图书馆:技巧和陷阱》,30-44[Zbl 1022.68614号]乔纳森·博尔温(Jonathan Borwein);特里·斯坦威,管理数字数学话语,45-55[Zbl 1022.68611号]大卫·卡莱尔;迈克·杜瓦,NAG库文档,56-65[Zbl 1022.68613号]卢卡·帕多瓦尼,关于LATEX和MathML在编码和处理数学表达式中的作用,66-79[Zbl 1022.68620号]乔治·戈瓜泽;艾丽卡·梅利斯;卡斯滕·乌尔里奇(Carsten Ullrich);保罗·凯恩斯,数学示例和练习标记的问题和解决方案,80-92[Zbl 1022.68615号]Yusuke Baba;铃木,Masakazu,注释语料库和定理描述的语法模型,93-104[Zbl 1022.68117号]费鲁奇奥·吉迪;艾琳·谢纳,数学资源元数据框架的查询语言,105-118[兹比尔1022.68616]格拉泽戈兹·班塞雷克;彼得·鲁德尼基,MML中的信息检索,119-132[Zbl 1022.68610号]Heumesser,Bernd D。;迪特马尔·塞佩尔(Dietmar A.Seipel)。;乌尔里奇·根策尔,PROLOG环境中基于XML的数学知识的灵活处理专家系统,133-146[Zbl 1022.68617号]Michael Kohlhase;罗密欧·安格拉什,面向结构化数学知识的协作内容管理和版本控制,147-161[兹比尔1022.68618]Piotr Rudnicki;安德烈·特雷布利克《关于形式化数学知识库的完整性》,162-174[Zbl 1022.68621号]保罗·凯恩斯;杰里米·高,层次证明的理论分析,175-187[Zbl 1022.68612号]弗里克·威迪杰克,比较数学证明,188-202[Zbl 1022.68623号]约瑟夫·乌尔班,翻译一阶定理证明器的Mizar,203-215[Zbl 1022.68622号]马西莫·马尔奇奥里,数学语义网,216-223[Zbl 1022.68619号] 引用于1审查引用于2文件 MSC公司: 00B25型 杂项特定利益的会议记录 68-06 与计算机科学有关的论文集、会议、文集等 68立方英尺 知识表示 关键词:数学知识管理;贝蒂诺罗(意大利) 引文:兹比尔0978.00042 软件:米扎尔 PDF格式BibTeX公司 XML格式引用 \textit{A.Asperti}(编辑)等,《数学知识管理》。第二届国际会议,2003年MKM,意大利贝蒂诺罗,2003年2月16-18日。诉讼程序。柏林:施普林格出版社(2003;Zbl 1015.00029) 全文: 内政部 链接