乔纳森·博文(Jonathan M.Borwein)。(编辑);Farmer,William M。(编辑) 数学知识管理。2006年8月11日至12日在英国沃金汉举行的2006年MKM第五届国际会议。诉讼程序。 (英语) Zbl 1114.68004号 计算机科学课堂讲稿人工智能课堂讲稿。柏林:施普林格出版社(ISBN 3-540-37104-4/pbk)。viii,第295页。(2006). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。上一次会议已经过审查(参见邮编1096.68004).索引文章:格雷戈里·查廷。,欧米茄数:纯数学中不可约的复杂性,1[邮编:1188.00009]阿卜杜·尤塞夫,数学搜索在数学中的作用,2-16[兹比尔1188.68128]马卡里乌斯·温泽尔,Isabelle/Isar中的结构化归纳证明,17-30[Zbl 1188.68266号]克莱门斯·巴拉林《解读伊莎贝尔的语言环境:理论和证明背景》,31-43[Zbl 1188.68258号]曼弗雷德·科伯,动态庞加莱原理,44-53[Zbl 1188.68263号]卡马尔·阿布尔·霍恩,战术的证明论方法,54-66[Zbl 1188.68257号]Serge Autexier;克劳迪奥·萨塞尔多蒂·科恩,具有替代证明的OMDoc与\({上划线{\lambda}\mu\ tilde{\mu}}\)-演算之间的形式对应,67-81[Zbl 1188.68278号]马提亚斯·巴兹;Hetzl,Stefan;亚历山大·莱奇(Alexander Leitsch);克莱门斯·里希特;斯波尔,亨德里克,CERES证明转换,82-93[Zbl 1125.03012号]Serge Autexier;多米尼克·迪特里希、综合验证规划方法和(Omega)-蚂蚁数学知识的代理人,94-109[Zbl 1188.68277号]乍得·E·布朗。,使用Scunak验证和失效教科书校样,110-123[Zbl 1188.68259号]Kanahori、Toshihiro;艾伦·塞克斯顿;沃尔克·索尔格;铃木、Masakazu,从纸上获取抽象矩阵,124-138[Zbl 1188.68280号]阿马尔·拉贾;马修·雷纳(Matthew Rayner);艾伦·塞克斯顿;索尔奇,沃尔克,朝向数学公式识别解析器,139-151[Zbl 1188.68284号]鲁兹基斯,里曼塔斯;巴利斯,维达斯;米歇尔·哈泽温克尔,出版物中科学术语分布的随机建模,152-164[Zbl 1188.68285号]艾伯哈德·希尔夫(Eberhard R.Hilf)。;Michael Kohlhase;海因里希·斯坦默约翰斯《捕捉物理内容:系统、观测和实验》,165-178[Zbl 1188.68279号]安德烈亚·科尔哈斯(Andrea Kohlhase);迈克尔·科尔哈斯《MKM实践社区:扩展模型》,179-193年[兹比尔1188.68281]卢卡·帕多瓦尼;斯特凡诺·扎奇罗利从符号到语义:194-207年[Zbl 1188.68283号]安德鲁·阿伯丁《管理非正式数学知识:来自非正式逻辑的技巧》,208-221[Zbl 1188.68276号]威廉·奈勒;朱利安·帕吉特,从数学web服务中的非类型对象到多态类型对象,222-236[Zbl 1188.68069号]西蒙·科尔顿;佩德罗·托雷斯;保罗·凯恩斯;索尔奇,沃尔克,管理自动形成的数学理论,237-250[Zbl 1188.68261号]保罗·利布雷希特(Paul Libbrecht);格罗斯,克里斯蒂安,创作LeActiveMath软件微积分含量,251-265[Zbl 1188.68282号]格拉泽戈兹·班塞雷克,使用MML查询进行信息检索和呈现,266-279[Zbl 1188.68125号]佩德罗·夸雷斯马;贾尼契奇,普雷德拉格,集成动态几何软件、演绎系统和定理库,280-294[Zbl 1188.68264号] 引用于1审查引用于2文件 MSC公司: 68-06 与计算机科学有关的会议记录、会议、收藏等 68立方英尺 知识表示 00B25型 其他特别感兴趣的会议记录 引文:邮编1096.68004 软件:LeActiveMath软件 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Borwein}(编辑)和\textit{W.M.Farmer}(主编),数学知识管理。2006年8月11-12日,在英国沃金汉举行的2006年MKM第五届国际会议。诉讼程序。柏林:施普林格出版社(2006;Zbl 1114.68004) 全文: 内政部