Login / Signup
Automated Reasoning and Mathematics
2013
2013
2013
Keyphrases
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)