×

数学知识管理。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号]

MSC公司:

68-06 与计算机科学有关的会议记录、会议、收藏等
68立方英尺 知识表示
00B25型 其他特别感兴趣的会议记录
PDF格式BibTeX公司 XML格式引用
全文: 内政部