第10届AISC/9th MKM/17届Calculemus 2010:法国巴黎
谢尔盖·奥特谢尔 , 雅克·卡尔梅特 , 大卫·德拉哈耶 , 帕特里克·D·F·伊昂 , 劳伦斯·里多 , 雷诺德·里奥博奥 , 艾伦·P·塞克斯顿 :
智能计算机数学,第十届国际会议,AISC 2010,第十七届研讨会,Calculemus 2010,以及第九届国际会议(MKM 2010,法国巴黎,2010年7月5日至10日)。 诉讼程序。 计算机科学课堂讲稿 6167, 施普林格 2010 ,十亿 978-3-642-14127-0
对AISC 2010的贡献
詹姆斯·H·达文波特 :
多值“函数”的挑战。 1-12 布鲁诺·萨维 :
数学函数动态词典。 13 雅克·卡尔梅特 , 约翰·坎贝尔 :
符号数学计算和人工智能的重新审视。 14-18 希查姆·本赛义德 , 里卡多·卡费拉 , 尼古拉斯·佩尔蒂埃 :
我 -有序分解和叠加演算中的术语:恢复丢失的完整性。 19-33 马克西姆·博廷 , 克里斯托夫·吕斯 :
Isabelle/HOL中带商类型的结构化形式发展。 34-48 Mnacho Echenim公司 , 尼古拉斯·佩尔蒂埃 :
SMT问题的实例化模块化整数。 49-63 菲利普·芬西尔弗 , 雷内·斯科特 :
论克劳楚克变换。 64-75 米哈伊尔·科列夫 :
后天免疫与病毒竞争的数学模型。 76-88 李永斌 :
关于“何时<T>等于Sat(T)?”的一些注释。 89-100 Jean-Vincent Loddo公司 , 卢卡·赛欧 :
如何正确修剪热带树木。 101-115 萨尔瓦多·卢卡斯 :
从理性的矩阵解释到自然的矩阵解释。 116-131 约瑟夫·乌尔班 , 杰夫·萨特克利夫 :
Mizar中数学形式化的自动推理和表示支持。 132-146
2010年对Calculemus的贡献
安德烈亚·阿斯佩蒂 , 克劳迪奥·萨塞尔多蒂·科恩 :
关于交互式验证程序可用性的一些考虑。 147-156 雅克·卡雷特 :
机械化数学。 157 弗兰克·巴特勒 , 弗洛伦特·希弗特 , 米凯拉·梅耶罗 , Frédéric Toumazet餐厅 :
SCHUR共轭函数的形式证明。 158-171 雅克·卡雷特 , 艾伦·P·塞克斯顿 , 沃尔克·索尔格 , 斯蒂芬·瓦特 :
符号域分解。 172-188 西里尔·科恩 , 阿西娅·马赫布比 :
代数闭域的形式量词消去。 189-203 塞萨尔·多明格斯 , 朱利奥·鲁比奥 :
使用无限代数数据结构进行Coq计算。 204-218 艾奥纳·帕斯卡 :
区间矩阵正则性的形式验证条件。 219-233 大卫·J·杰弗里 , 阿尔伯特·D·里奇 :
使用基于规则的集成减小表达式大小。 234-246 保罗·塔劳 :
算术和集合理论数据类型的统一形式描述。 247-261
对MKM 2010的贡献
多伦·齐尔伯格 :
对抗严酷。 262 安德烈亚·阿斯佩蒂 , 恩里科·塔西 :
智能匹配。 263-277 陈晓宇(Xiaoyu Chen) :
电子几何教材:几何教材知识管理系统。 278-292 约瑟夫·柯林斯 :
张量概念的OpenMath内容字典。 293-299 亚当·格拉博夫斯基 , 克里斯托夫·施瓦茨韦勒 :
数学知识库中的重复。 300-314 巴斯蒂安·海仁 , 约翰·杰林 :
适应数学领域推理器。 315-330 乔纳森·赫拉斯 , 维科·帕斯夸尔 , 席酿酒师安娜罗美欧 , 朱利奥·鲁比奥 :
集成多个源以回答代数拓扑中的问题。 331-335 君士坦丁·朱可夫斯基 , 迈克尔·科尔哈斯 :
sTeXIIS:sTeX集合的集成开发环境。 336-344 曼弗雷德·科伯 :
校对、校对、校对和校对。 345-354 安德烈亚·科尔哈斯 , 迈克尔·科尔哈斯 , 克里斯托夫·兰格 :
形式的维度:软件工程中MKM的案例研究。 355-369 迈克尔·科尔哈斯 , 弗洛里安·拉贝 , 维亚切斯拉夫·兹霍卢德夫 :
走向大规模的MKM:模块化表示和可扩展软件体系结构。 370-384 安德里·科瓦尔丘克 , 维亚切斯拉夫·列维斯基 , 伊戈尔·萨莫卢克 , 瓦伦廷·扬楚克 :
Formulator MathML编辑器项目:内容标记文档的用户友好创作。 385-397 保罗·利布雷希特 :
世界各地的符号:人口普查和开发。 398-410 亚历山大·利亚列茨基 , 康斯坦丁·弗奇宁 :
自动演绎的证据算法和系统:回顾性观点。 411-426 阿格涅斯卡·罗温斯卡·施瓦兹韦勒 , 克里斯托夫·施瓦茨韦勒 :
关于建立稳定性理论的知识库。 427-439 Carst油罐车 , 赫尔曼·杰弗斯 , 詹姆斯·麦金纳 , 弗里克·维迪克 :
Proviola:一个证明再动画的工具。 440-454 约瑟夫·乌尔班 , 杰西·阿拉玛 , 彼得罗·鲁德尼基 , 赫尔曼·杰弗斯 :
Mizar的Wiki:动机、考虑因素和初始原型。 455-469