Automated Reasoning and Mathematics

Publications

2013

Rob Arthan, Paulo Oliva
(Dual) Hoops Have Unique Halving. Automated Reasoning and Mathematics (2013)
Thomas Hillenbrand, Christoph Weidenbach
Superposition for Bounded Domains. Automated Reasoning and Mathematics (2013)
Branden Fitelson
Gibbard's Collapse Theorem for the Indicative Conditional: An Axiomatic Approach. Automated Reasoning and Mathematics (2013)
Eric Ens, Ranganathan Padmanabhan
Group Embedding of the Projective Plane PG(2, 3). Automated Reasoning and Mathematics (2013)
Larry Wos
The Legacy of a Great Researcher. Automated Reasoning and Mathematics (2013)
Zachary Ernst, Seth Kurtenbach
Toward a Procedure for Data Mining Proofs. Automated Reasoning and Mathematics (2013)
Deepak Kapur, Zhihai Zhang, Matthias Horbach, Hengjun Zhao, Qi Lu, ThanhVu Nguyen
Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants. Automated Reasoning and Mathematics (2013)
Leonardo Mendonça de Moura, Grant Olney Passmore
The Strategy Challenge in SMT Solving. Automated Reasoning and Mathematics (2013)
Michael K. Kinyon, Robert Veroff, Petr Vojtechovský
Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction. Automated Reasoning and Mathematics (2013)
Stephan Schulz
Simple and Efficient Clause Subsumption with Feature Vector Indexing. Automated Reasoning and Mathematics (2013)
Ranganathan Padmanabhan, Robert Veroff
A Geometric Procedure with Prover9. Automated Reasoning and Mathematics (2013)
Hantao Zhang, Jian Zhang
MACE4 and SEM: A Comparison of Finite Model Generators. Automated Reasoning and Mathematics (2013)
Josef Urban, Jirí Vyskocil
Theorem Proving in Large Formal Mathematics as an Emerging AI Field. Automated Reasoning and Mathematics (2013)

volume 7788, 2013

Automated Reasoning and Mathematics - Essays in Memory of William W. McCune Automated Reasoning and Mathematics 7788 (2013)