CICM: Conferences on Intelligent Computer Mathematics

Intelligent Computer Mathematics

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

  • Manfred Kerber
  • Jacques Carette
  • Cezary Kaliszyk
  • Florian Rabe
  • Volker Sorge
Conference proceedings CICM 2015

DOI: 10.1007/978-3-319-20615-8

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

Table of contents (27 papers)

  1. Front Matter
    Pages I-XXI
  2. Invited Talks

    1. Front Matter
      Pages 1-1
    2. Mining the Archive of Formal Proofs
      Jasmin Christian Blanchette, Maximilian Haslbeck, Daniel Matichuk, Tobias Nipkow
      Pages 3-17
  3. Calculemus

    1. Front Matter
      Pages 37-37
    2. Towards Formal Fault Tree Analysis Using Theorem Proving
      Waqar Ahmed, Osman Hasan
      Pages 39-54
    3. Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof
      Luís Cruz-Filipe, Peter Schneider-Kamp
      Pages 55-70
    4. A First Class Boolean Sort in First-Order Theorem Proving and TPTP
      Evgenii Kotelnikov, Laura Kovács, Andrei Voronkov
      Pages 71-86
    5. Type Inference for ZFH
      Steven Obua, Jacques Fleuriot, Phil Scott, David Aspinall
      Pages 87-101
    6. Generic Literals
      Florian Rabe
      Pages 102-117
  4. Digital Mathematics Libraries

    1. Front Matter
      Pages 135-135
  5. Mathematical Knowledge Management

    1. Front Matter
      Pages 153-153
    2. Structure Formation in Large Theories
      Serge Autexier, Dieter Hutter
      Pages 155-170
    3. Formal Logic Definitions for Interchange Languages
      Fulya Horozal, Florian Rabe
      Pages 171-186
    4. Math Literate Knowledge Management via Induced Material
      Mihnea Iancu, Michael Kohlhase
      Pages 187-202
    5. Strategies for Parallel Markup
      Bruce R. Miller
      Pages 203-210
    6. Automating Change of Representation for Proofs in Discrete Mathematics
      Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease
      Pages 227-242

About these proceedings


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.


automated deduction computer algebra mathematical publishing mechanized reasoning symbolic computation

Editors and affiliations

  • Manfred Kerber
    • 1
  • Jacques Carette
    • 2
  • Cezary Kaliszyk
    • 3
  • Florian Rabe
    • 4
  • Volker Sorge
    • 5
  1. 1.School of Computer ScienceUniversity of BirminghamBirminghamUnited Kingdom
  2. 2.McMaster UniversityHamiltonCanada
  3. 3.University of InnsbruckInnsbruckAustria
  4. 4.Jacobs University BremenBremenGermany
  5. 5.University of BirminghamBirminghamUnited Kingdom

Bibliographic information

  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-20614-1
  • Online ISBN 978-3-319-20615-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349