雅克·卡雷特（编辑）;Farmer，William M。（编辑） 第十二届符号计算与机械化推理集成研讨会论文集（Calculemus 2005），纽卡斯尔-乌邦-泰恩，英国，2005年7月18日至19日。 （英语） Zbl 1272.68013号 理论计算机科学电子笔记第151页，第1页。阿姆斯特丹：爱思唯尔。第177页。，仅限电子版（2006年）。 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。关于第十届Calculemus研讨会，请参见[Zbl 0993.00048号].索引文章：托拜厄斯·施密特·萨莫阿，将线性算法更紧密地集成到归纳定理证明中，3-20[Zbl 1273.68328号]Roy L.McCasland。；阿兰·邦迪（Alan Bundy）；帕特里克·史密斯。，确定数学定理，21-38[Zbl 1273.68324号]奥斯索夫斯基，约恩；克里斯特尔·拜尔，带加权和规范化决策图的符号推理，39-56[Zbl 1273.68420号]戴维·德拉哈耶（David Delahaye）；米凯拉·梅耶罗，使用计算机代数系统的证明助手中代数闭域上的量词消除，57-73[Zbl 1273.68417号]克鲁斯·菲利佩，路易斯；皮埃尔·勒图泽伊，执行提取程序的大规模实验，75-91[Zbl 1273.68317号]路易斯·丹尼斯（Louise A.Dennis）。；贾姆尼克，马泰贾；马丁·波莱特，关于证明规划系统的比较：\（\lambda\）蛤，\（\欧米茄\）百万和IsaPlanner公司, 93-110 [Zbl 1273.68318号]露丝·哈迪，控制系统符号分析中PVS和Maple之间的相互作用，111-125[Zbl 1273.68418号]Pollet，Martin；沃尔克·索尔格，连接逻辑表示和有效计算，127-142[Zbl 1273.68327号]G.W.汉密尔顿。，Poitín：从猜想中提取定理，143-160[Zbl 1273.68321号]乌拉尔，奥雷利；马克·潘特尔，基于等式匹配的数学服务贸易，161-177[Zbl 1273.68398号] MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68吨15 定理证明（演绎、解析等）（MSC2010） 68瓦30 符号计算和代数计算 00B25型 杂项特定利益的会议记录 引文：Zbl 0993.00048号 软件：Lambda-Clam公司;枫树 PDF格式BibTeX公司 XML格式引用 \textit{J.Carette}（编辑）和textit{W.M.Farmer}（编），第十二届符号计算与机械化推理集成研讨会论文集（Calculemus 2005），英国纽卡斯尔大学泰恩分校，2005年7月18-19日。阿姆斯特丹：Elsevier（2006；Zbl 1272.68013） 全文： 链接