×

数学知识管理。第二届国际会议,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号]

MSC公司:

00B25型 杂项特定利益的会议记录
68-06 与计算机科学有关的论文集、会议、文集等
68立方英尺 知识表示

软件:

米扎尔
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接