© 2013

Intelligent Computer Mathematics

MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings

  • Jacques Carette
  • David Aspinall
  • Christoph Lange
  • Petr Sojka
  • Wolfgang Windsteiger
Conference proceedings CICM 2013

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 7961)

Table of contents

  1. Front Matter
  2. Calculemus

    1. Assia Mahboubi
      Pages 1-18
    2. Russell Bradford, James H. Davenport, Matthew England, David Wilson
      Pages 19-34
    3. Xavier Allamigeon, Stéphane Gaubert, Victor Magron, Benjamin Werner
      Pages 51-65
    4. Jónathan Heras, Gadea Mata, Ana Romero, Julio Rubio, Rubén Sáenz
      Pages 66-81
    5. Michael Kohlhase, Felix Mance, Florian Rabe
      Pages 82-97
  3. MKM

    1. Ursula Martin, Alison Pease
      Pages 98-119
    2. Cezary Kaliszyk, Josef Urban
      Pages 120-135
    3. Matthew England, Russell Bradford, James H. Davenport, David Wilson
      Pages 136-151
    4. Carst Tankink, Cezary Kaliszyk, Josef Urban, Herman Geuvers
      Pages 152-167
    5. Rui Hu, Stephen M. Watt
      Pages 168-183
    6. Steven Obua, Mark Adams, David Aspinall
      Pages 184-199
    7. Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel et al.
      Pages 200-215
  4. DML

    1. Patrick D. F. Ion
      Pages 230-245
    2. Shahab Kamali, Frank Wm. Tompa
      Pages 246-262
    3. Michal Růžička, Petr Sojka, Vlastimil Krejčíř
      Pages 263-277
    4. Minh-Quoc Nghiem, Giovanni Yoko Kristianto, Goran Topić, Akiko Aizawa
      Pages 278-287
    5. Bruce R. Miller
      Pages 288-295

About these proceedings


This book constitutes the joint refereed proceedings of the 20th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2013, 6th International Workshop on Digital Mathematics Libraries, DML 2013, Systems and Projects, held in Bath, UK as part of  CICM 2013, the Conferences on Intelligent Computer Mathematics.
The 7 revised full papers out of 18 submissions for MKM 2013, 5 revised full papers out of 12 submissions for Calculemus 2013,  6 revised full papers out of 8 submissions for DML 2013, and 12 revised full papers out of 16 submissions for Systems and Project track presented together with 3 invited talks were carefully reviewed and selected, resulting in 33 papers from a total of 73 submissions.


LaTeX MathML computer algebra systems natural language processing symbolic computation

Editors and affiliations

  • Jacques Carette
    • 1
  • David Aspinall
    • 2
  • Christoph Lange
    • 3
  • Petr Sojka
    • 4
  • Wolfgang Windsteiger
    • 5
  1. 1.Computing and SoftwareMcMaster UniversityHamiltonCanada
  2. 2.School of InformaticsUniversity of EdinburghEdinburghScotland, UK
  3. 3.School of Computer ScienceUniversity of BirminghamBirminghamUK
  4. 4.Faculty of Informatics, Department of Computer Graphics and DesignMasaryk UniversityBrnoCzech Republic
  5. 5.Johannes Kepler University Linz (JKU), RISCLinzAustria

Bibliographic information