Intelligent Computer Mathematics

11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings

  • Johan Jeuring
  • John A. Campbell
  • Jacques Carette
  • Gabriel Dos Reis
  • Petr Sojka
  • Makarius Wenzel
  • Volker Sorge
Conference proceedings CICM 2012

DOI: 10.1007/978-3-642-31374-5

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

Table of contents (38 papers)

  1. Front Matter
  2. Mathematical Knowledge Management 2012

    1. Proof, Message and Certificate
      Andrea Asperti
      Pages 17-31
    2. Challenges and Experiences in Managing Large-Scale Proofs
      Timothy Bourke, Matthias Daum, Gerwin Klein, Rafal Kolanski
      Pages 32-48
    3. Semantic Alliance: A Framework for Semantic Allies
      Catalin David, Constantin Jucovschi, Andrea Kohlhase, Michael Kohlhase
      Pages 49-64
    4. Extending MKM Formats at the Statement Level
      Fulya Horozal, Michael Kohlhase, Florian Rabe
      Pages 65-80
    5. A Streaming Digital Ink Framework for Multi-party Collaboration
      Rui Hu, Vadim Mazalov, Stephen M. Watt
      Pages 81-95
    6. Understanding the Learners’ Actions when Using Mathematics Learning Tools
      Paul Libbrecht, Sandra Rebholz, Daniel Herding, Wolfgang Müller, Felix Tscheulin
      Pages 111-126
    7. Towards Understanding Triangle Construction Problems
      Vesna Marinković, Predrag Janičić
      Pages 127-142
    8. Point-and-Write – Documenting Formal Mathematics by Reference
      Carst Tankink, Christoph Lange, Josef Urban
      Pages 169-185
    9. An Essence of SSReflect
      Iain Whiteside, David Aspinall, Gudmund Grov
      Pages 186-201
  3. Calculemus 2012

    1. Theory Presentation Combinators
      Jacques Carette, Russell O’Connor
      Pages 202-215
    2. Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging
      Jónathan Heras, María Poza, Julio Rubio
      Pages 216-230
    3. Towards the Formal Specification and Verification of Maple Programs
      Muhammad Taimoor Khan, Wolfgang Schreiner
      Pages 231-247
    4. Formalizing Frankl’s Conjecture: FC-Families
      Filip Marić, Miodrag Živković, Bojan Vučković
      Pages 248-263
    5. CDCL-Based Abstract State Transition System for Coherent Logic
      Mladen Nikolić, Predrag Janičić
      Pages 264-279
    6. Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases
      David J. Wilson, Russell J. Bradford, James H. Davenport
      Pages 280-294

About these proceedings


This book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, 5th International Workshop on Digital Mathematics Libraries, DML 2012, 11th International Conference on Mathematical Knowledge Management, MKM 2012, Systems and Projects, held in Bremen, Germany as CICM 2012, the Conferences on Intelligent Computer Mathematics.
The 13 revised full papers out of 19 submissions for MKM 2012, 6 revised full papers out of 9 submissions for Calculemus 2012, 6 revised full papers out of 8 submissions for AISC 2012, 2 revised full papers out of 3 submissions for DML 2012, and 11 revised full papers out of 12 submissions for Systems and Project track presented were carefully reviewed and selected, resulting in 38 papers from a total of 52 submissions.


formal languages machine verifyable proofs parsing program specification semantic Web

Editors and affiliations

  • Johan Jeuring
    • 1
  • John A. Campbell
    • 2
  • Jacques Carette
    • 3
  • Gabriel Dos Reis
    • 4
  • Petr Sojka
    • 5
  • Makarius Wenzel
    • 6
  • Volker Sorge
    • 7
  1. 1.Department of Information and Computing SciencesUtrecht University and Open Universiteit NederlandUtrechtThe Netherlands
  2. 2.Department of Computer ScienceUniversity College LondonLondonUK
  3. 3.Department of Computing and SoftwareMcMaster UniversityHamiltonCanada
  4. 4.Department of Computer Science and EngineeringTexas A&M UniversityCollege StationUSA
  5. 5.Department of Computer Graphics and DesignMasaryk UniversityBrnoCzech Republic
  6. 6.Laboratoire de Recherche en Informatique (LRI - UMR8623) PCRIUniversité Paris-SudOrsay CedexFrance
  7. 7.The University of Birmingham, School of Computer Science,EdgbastonUK

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-31373-8
  • Online ISBN 978-3-642-31374-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349