Automated Reasoning and Mathematics
Automated Reasoning and Mathematics
复制标题
DOI：
10.1007/978-3-642-36675-8
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
M. P. Bonacina;M. Stickel
中科院分区：
文献类型：
--
作者：
M. P. Bonacina;M. Stickel
这本纪念文集是为纪念威廉·W. McCune于2011年去世。William W. McCune是一位多才多艺的计算机科学家，但尤其是一位出色的系统构建者和软件工程师。该卷包括13篇完整的论文，这些论文介绍了自动推理及其在数学中应用的各个方面的研究。这些文件经过全面审查，是从2011年9月发出的征集文件呼吁所收到的15份文件中挑选出来的。所涉及的主题是：策略，索引，基于叠加的定理证明，模型构建，自动推理在数学中的应用，以及程序验证，数据挖掘和计算机形式化数学。
This Festschrift volume is published in memory of William W. McCune who passed away in 2011. William W. McCune was an accomplished computer scientist all around but especially a fantastic system builder and software engineer.The volume includes 13 full papers, which are presenting research in all aspects of automated reasoning and its applications to mathematics. These papers have been thoroughly reviewed and selected out of 15 submissions received in response to the call for paper issued in September 2011. The topics covered are: strategies, indexing, superposition-based theorem proving, model building, application of automated reasoning to mathematics, as well as to program verification, data mining, and computer formalized mathematics.