Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2015

Intelligent Computer Mathematics

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

Editors:

  1. Manfred Kerber

    1. School of Computer Science, University of Birmingham, Birmingham, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jacques Carette

    1. McMaster University, Hamilton, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Cezary Kaliszyk

    1. University of Innsbruck, Innsbruck, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Florian Rabe

    1. Jacobs University Bremen, Bremen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Volker Sorge

    1. University of Birmingham, Birmingham, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Conference series link(s): CICM: International Conference on Intelligent Computer Mathematics

Conference proceedings info: CICM 2015.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (28 papers)

  1. Front Matter

    Pages I-XXI
    PDF

  2. Invited Talks

    1. Front Matter

      Pages 1-1
      PDF

    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
      PDF

    2. Towards Formal Fault Tree Analysis Using Theorem Proving

      • Waqar Ahmad, 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
      PDF

  5. Mathematical Knowledge Management

    1. Front Matter

      Pages 153-153
      PDF

    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

    7. Automating Change of Representation for Proofs in Discrete Mathematics

      • Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease
      Pages 227-242
Back to top

Other Volumes

  1. Intelligent Computer Mathematics

Back to top

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.
Back to top

Keywords

Back to top

Editors and Affiliations

  • School of Computer Science, University of Birmingham, Birmingham, United Kingdom

    Manfred Kerber

  • McMaster University, Hamilton, Canada

    Jacques Carette

  • University of Innsbruck, Innsbruck, Austria

    Cezary Kaliszyk

  • Jacobs University Bremen, Bremen, Germany

    Florian Rabe

  • University of Birmingham, Birmingham, United Kingdom

    Volker Sorge

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation