Skip to main content
SpringerLink
Log in
Book cover

Intelligent Computer Mathematics

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

  • Conference proceedings
  • © 2015

Overview

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)

Included in the following conference series:

Conference proceedings info: CICM 2015.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (28 papers)

  1. Front Matter

    Pages I-XXI
    Download chapter PDF

  2. Invited Talks

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Mining the Archive of Formal Proofs

      • Jasmin Christian Blanchette, Maximilian Haslbeck, Daniel Matichuk, Tobias Nipkow
      Pages 3-17

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

      • Richard Zanibbi, Awelemdy Orakwue
      Pages 18-36

  3. Calculemus

    1. Front Matter

      Pages 37-37
      Download chapter 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

    7. Ranking/Unranking of Lambda Terms with Compressed de Bruijn Indices

      • Paul Tarau
      Pages 118-133

  4. Digital Mathematics Libraries

    1. Front Matter

      Pages 135-135
      Download chapter PDF

    2. A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics

      • Mihnea Iancu, Michael Kohlhase
      Pages 137-152

  5. Mathematical Knowledge Management

    1. Front Matter

      Pages 153-153
      Download chapter 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

    6. Readable Formalization of Euler’s Partition Theorem in Mizar

      • Karol Pąk
      Pages 211-226

    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

Keywords

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.

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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation