Automated Reasoning and Mathematics

Essays in Memory of William W. McCune

Editors:

ISBN: 978-3-642-36674-1 (Print) 978-3-642-36675-8 (Online)

Table of contents (13 chapters)

  1. Front Matter

    Pages -

  2. No Access

    Book Chapter

    Pages 1-14

    The Legacy of a Great Researcher

  3. No Access

    Book Chapter

    Pages 15-44

    The Strategy Challenge in SMT Solving

  4. No Access

    Book Chapter

    Pages 45-67

    Simple and Efficient Clause Subsumption with Feature Vector Indexing

  5. No Access

    Book Chapter

    Pages 68-100

    Superposition for Bounded Domains

  6. No Access

    Book Chapter

    Pages 101-130

    MACE4 and SEM: A Comparison of Finite Model Generators

  7. No Access

    Book Chapter

    Pages 131-138

    Group Embedding of the Projective Plane PG(2, 3)

  8. No Access

    Book Chapter

    Pages 139-150

    A Geometric Procedure with Prover9

  9. No Access

    Book Chapter

    Pages 151-164

    Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction

  10. No Access

    Book Chapter

    Pages 165-180

    (Dual) Hoops Have Unique Halving

  11. No Access

    Book Chapter

    Pages 181-188

    Gibbard’s Collapse Theorem for the Indicative Conditional: An Axiomatic Approach

  12. No Access

    Book Chapter

    Pages 189-228

    Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants

  13. No Access

    Book Chapter

    Pages 229-239

    Toward a Procedure for Data Mining Proofs

  14. No Access

    Book Chapter

    Pages 240-257

    Theorem Proving in Large Formal Mathematics as an Emerging AI Field

  15. Back Matter

    Pages -