Intelligent Computer Mathematics

International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings

  • Stephen M. Watt
  • James H. Davenport
  • Alan P. Sexton
  • Petr Sojka
  • Josef Urban
Conference proceedings CICM 2014

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

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Calculemus

    1. Waqar Ahmad, Osman Hasan, Sofiène Tahar, Mohammad Salah Hamdi
      Pages 30-44
    2. Matthew England, Russell Bradford, Changbo Chen, James H. Davenport, Marc Moreno Maza, David Wilson
      Pages 45-60
    3. Andrew Fish, Alexei Lisitsa
      Pages 76-91
    4. Zongyan Huang, Matthew England, David Wilson, James H. Davenport, Lawrence C. Paulson, James Bridge
      Pages 92-107
    5. Moa Johansson, Dan Rosén, Nicholas Smallbone, Koen Claessen
      Pages 108-122
    6. Sanaz Khan Afshar, Vincent Aravantinos, Osman Hasan, Sofiène Tahar
      Pages 123-137
    7. Bernd Wegner, Sigram Schindler
      Pages 138-152
  4. Digital Mathematics Library

    1. Andrea Kohlhase
      Pages 153-168
    2. Minh-Quoc Nghiem, Giovanni Yoko Kristianto, Goran Topić, Akiko Aizawa
      Pages 200-212
    3. Ulf Schöneberg, Wolfram Sperber
      Pages 213-223
  5. Mathematical Knowledge Management

    1. Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat
      Pages 236-251
    2. Jacques Carette, William M. Farmer, Michael Kohlhase
      Pages 252-266
    3. Thibault Gauthier, Cezary Kaliszyk
      Pages 267-281
    4. Thomas Gransden, Neil Walkinshaw, Rajeev Raman
      Pages 282-297
    5. Fulya Horozal, Florian Rabe, Michael Kohlhase
      Pages 312-327
    6. Cezary Kaliszyk, Florian Rabe
      Pages 357-372
    7. Sana Stojanović, Julien Narboux, Marc Bezem, Predrag Janičić
      Pages 388-403
    8. Qun Zhang, Abdou Youssef
      Pages 404-418
  6. Systems and Projects

    1. Howard S. Cohl, Marjorie A. McClain, Bonita V. Saunders, Moritz Schubotz, Janelle C. Williams
      Pages 419-422
    2. Deyan Ginev, Joseph Corneli
      Pages 423-426
    3. Deyan Ginev, Bruce R. Miller, Silviu Oprea
      Pages 427-430
    4. Mihnea Iancu, Constantin Jucovschi, Michael Kohlhase, Tom Wiesing
      Pages 431-434
    5. Cezary Kaliszyk, Josef Urban, Jiří Vyskočil, Herman Geuvers
      Pages 435-439
    6. Lukas Kohlhase, Michael Kohlhase
      Pages 440-443
    7. Martin Líška, Petr Sojka, Michal Růžička
      Pages 444-448
    8. Adam Naumowicz
      Pages 449-452
    9. Umair Siddique, Sofiène Tahar
      Pages 453-456
    10. Waqar Ahmad, Osman Hasan, Sofiène Tahar, Mohammad Salah Hamdi
      Pages E1-E1
  7. Back Matter

About these proceedings


This book constitutes the joint refereed proceedings of Calculemus 2014, Digital Mathematics Libraries, DML 2014, Mathematical Knowledge Management, MKM 2014, and Systems and Projects, S&P 2014, held in Coimbra, Portugal, during July 7-11, 2014 as four tracks of CICM 2014, the Conferences on Intelligent Computer Mathematics.
The 26 full papers and 9 Systems and Projects descriptions presented together with 5 invited talks were carefully reviewed and selected from a total of 55 submissions. The Calculemus track of CICM examines the integration of symbolic computation and mechanized reasoning. The Digital Mathematics Libraries track - evolved from the DML workshop series - features math-aware technologies, standards, algorithms and processes towards the fulfillment of the dream of a global DML. The Mathematical Knowledge Management track of CICM is concerned with all aspects of managing mathematical knowledge in the informal, semi-formal, and formal settings. The Systems and Projects track presents short descriptions of existing systems or on-going projects in the areas of all the other tracks of the conference.


formal methods machine learning natural language processing search interface smilarity measures support vector machine theorem proving and SAT solving

Editors and affiliations

  • Stephen M. Watt
    • 1
  • James H. Davenport
    • 2
  • Alan P. Sexton
    • 3
  • Petr Sojka
    • 4
  • Josef Urban
    • 5
  1. 1.Computer Science DepartmentThe University of Western OntarioLondonCanada
  2. 2.Departments of Computer Science and Mathematical SciencesUniversity of BathBathUK
  3. 3.School of Computer Science, EdgbastonUniversity of BirminghamBirminghamUK
  4. 4.Faculty of InformaticsMasaryk UniversityBrnoCzech Republic
  5. 5.Institute for Computing SciencesRadboud University NijmegenNijmegenThe Netherlands

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-08433-6
  • Online ISBN 978-3-319-08434-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site