Lecture Notes in Artificial Intelligence

Intelligent Computer Mathematics

International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.

Editors: Kerber, M., Carette, J., Kaliszyk, C., Rabe, F., Sorge, V. (Eds.)

Buy this book

eBook 47,59 €
price for Spain (gross)
  • ISBN 978-3-319-20615-8
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 58,24 €
price for Spain (gross)
  • ISBN 978-3-319-20614-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented together with two invited talks plus one abstract were carefully reviewed and selected from a total of 43 submissions. The papers are organized in topical sections following the tracks of the conference: Invited Talks; Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Projects and Surveys; Systems and Data.

Table of contents (28 chapters)

  • Mining the Archive of Formal Proofs

    Blanchette, Jasmin Christian (et al.)

    Pages 3-17

  • Math Search for the Masses: Multimodal Search Interfaces and Appearance-Based Retrieval

    Zanibbi, Richard (et al.)

    Pages 18-36

  • Towards Formal Fault Tree Analysis Using Theorem Proving

    Ahmad, Waqar (et al.)

    Pages 39-54

  • Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof

    Cruz-Filipe, Luís (et al.)

    Pages 55-70

  • A First Class Boolean Sort in First-Order Theorem Proving and TPTP

    Kotelnikov, Evgenii (et al.)

    Pages 71-86

Buy this book

eBook 47,59 €
price for Spain (gross)
  • ISBN 978-3-319-20615-8
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 58,24 €
price for Spain (gross)
  • ISBN 978-3-319-20614-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Intelligent Computer Mathematics
Book Subtitle
International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
Editors
  • Manfred Kerber
  • Jacques Carette
  • Cezary Kaliszyk
  • Florian Rabe
  • Volker Sorge
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
9150
Copyright
2015
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-20615-8
DOI
10.1007/978-3-319-20615-8
Softcover ISBN
978-3-319-20614-1
Edition Number
1
Number of Pages
XXI, 359
Number of Illustrations and Tables
84 b/w illustrations
Topics