Automated Reasoning and Mathematics

Essays in Memory of William W. McCune

  • Maria Paola Bonacina
  • Mark E. Stickel

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7788)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 7788)

Table of contents

  1. Front Matter
  2. Larry Wos
    Pages 1-14
  3. Leonardo de Moura, Grant Olney Passmore
    Pages 15-44
  4. Thomas Hillenbrand, Christoph Weidenbach
    Pages 68-100
  5. Hantao Zhang, Jian Zhang
    Pages 101-130
  6. Eric Ens, Ranganathan Padmanabhan
    Pages 131-138
  7. Ranganathan Padmanabhan, Robert Veroff
    Pages 139-150
  8. Michael Kinyon, Robert Veroff, Petr Vojtěchovský
    Pages 151-164
  9. Rob Arthan, Paulo Oliva
    Pages 165-180
  10. Deepak Kapur, Zhihai Zhang, Matthias Horbach, Hengjun Zhao, Qi Lu, ThanhVu Nguyen
    Pages 189-228
  11. Zachary Ernst, Seth Kurtenbach
    Pages 229-239
  12. Josef Urban, Jiří Vyskočil
    Pages 240-257
  13. Back Matter

About this book

Introduction

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.

Keywords

SAT algebra artificial intelligence logics theorem proving

Editors and affiliations

  • Maria Paola Bonacina
    • 1
  • Mark E. Stickel
    • 2
  1. 1.Dipartimento di InformaticaUniversità degli Studi di VeronaVeronaItaly
  2. 2.Artificial Intelligence CenterSRI InternationalMenlo ParkUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-36675-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-36674-1
  • Online ISBN 978-3-642-36675-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book