Skip to main content
SpringerLink
Log in

Intelligent Computer Mathematics

9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Michael Kohlhase

    1. Jacobs University Bremen, Bremen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Moa Johansson

    1. Chalmers University, Göteborg, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Bruce Miller

    1. National Institute of Standards and Technology, Gaithersburg, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Leonardo de Moura

    1. Microsoft Research, Redmond, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Frank Tompa

    1. University of Waterloo, Waterloo, Canada

    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 9791)

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

Included in the following conference series:

Conference proceedings info: CICM 2016.

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 34.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 44.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 (13 papers)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. CALCULEMUS

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Mathematical Theory Exploration in Theorema: Reduction Rings

      • Alexander Maletzky
      Pages 3-17

    3. Formalization of Bing’s Shrinking Method in Geometric Topology

      • Ken’ichi Kuga, Manabu Hagiwara, Mitsuharu Yamamoto
      Pages 18-27

    4. \(\mathsf {SC}^\mathsf{2} \): Satisfiability Checking Meets Symbolic Computation

      • Erika Ábrahám, John Abbott, Bernd Becker, Anna M. Bigatti, Martin Brain, Bruno Buchberger et al.
      Pages 28-43

    5. Formalization of Normal Random Variables in HOL

      • Muhammad Qasim, Osman Hasan, Maissa Elleuch, Sofiène Tahar
      Pages 44-59

  3. Digital Mathematics Libraries

    1. Front Matter

      Pages 61-61
      Download chapter PDF

    2. Progress of Self-Archiving Within the DML Corpus, with a View Toward Community Dynamics

      • Fabian Müller, Olaf Teschke
      Pages 63-74

  4. Mathematical Knowledge Management

    1. Front Matter

      Pages 75-75
      Download chapter PDF

    2. Accessing the Mizar Library with a Weakly Strict Mizar Parser

      • Adam Naumowicz, Radosław Piliszek
      Pages 77-82

    3. Incorporating Quotation and Evaluation into Church’s Type Theory: Syntax and Semantics

      • William M. Farmer
      Pages 83-98

    4. Extracting Higher-Order Goals from the Mizar Mathematical Library

      • Chad E. Brown, Josef Urban
      Pages 99-114

  5. Surveys and Projects

    1. Front Matter

      Pages 115-115
      Download chapter PDF

    2. Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach

      • Paul-Olivier Dehaye, Mihnea Iancu, Michael Kohlhase, Alexander Konovalov, Samuel Lelièvre, Dennis Müller et al.
      Pages 117-131

    3. Formal Dependability Modeling and Analysis: A Survey

      • Waqar Ahmad, Osman Hasan, Sofiène Tahar
      Pages 132-147

  6. Systems and Data

    1. Front Matter

      Pages 149-149
      Download chapter PDF

    2. Extending E Prover with Similarity Based Clause Selection Strategies

      • Jan Jakubův, Josef Urban
      Pages 151-156

    3. Enhancement of Mizar Texts with Transitivity Property of Predicates

      • Artur Korniłowicz
      Pages 157-162

  7. Erratum to: Formal Dependability Modeling and Analysis: A Survey

    • Waqar Ahmad, Osman Hasan, Sofiène Tahar
    Pages E1-E1

  8. Back Matter

    Pages 163-163
    Download chapter PDF
Back to top

Other volumes

  1. Intelligent Computer Mathematics

Keywords

About this book

This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016.


The 10 full papers and 2 short papers presented were carefully reviewed and selected
from a total of 41 submissions. The papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Surveys and Projects; and Systems and Data.

Editors and Affiliations

  • Jacobs University Bremen, Bremen, Germany

    Michael Kohlhase

  • Chalmers University, Göteborg, Sweden

    Moa Johansson

  • National Institute of Standards and Technology, Gaithersburg, USA

    Bruce Miller

  • Microsoft Research, Redmond, USA

    Leonardo de Moura

  • University of Waterloo, Waterloo, Canada

    Frank Tompa

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation