© 2011

Intelligent Computer Mathematics

18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings

  • James H. Davenport
  • William M. Farmer
  • Josef Urban
  • Florian Rabe
Conference proceedings CICM 2011

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

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

Table of contents

  1. Front Matter
  2. Calculemus 2011

    1. Andreas Distler, Muhammad Shah, Volker Sorge
      Pages 1-14
    2. Jónathan Heras, María Poza, Maxime Dénès, Laurence Rideau
      Pages 30-44
    3. Cezary Kaliszyk, Tetsuo Ida
      Pages 45-57
    4. Manfred Kerber, Colin Rowat, Wolfgang Windsteiger
      Pages 58-73
    5. Vladimir Komendantsky, Alexander Konovalov, Steve Linton
      Pages 74-89
    6. Robbert Krebbers, Bas Spitters
      Pages 90-106
    7. Florian Rabe, Michael Kohlhase, Claudio Sacerdoti Coen
      Pages 107-122
    8. Alexey Solovyev, Thomas C. Hales
      Pages 123-132
  3. Mathematical Knowledge Management 2011

    1. Jesse Alama, Kasper Brink, Lionel Mamane, Josef Urban
      Pages 133-148
    2. Jesse Alama, Michael Kohlhase, Lionel Mamane, Adam Naumowicz, Piotr Rudnicki, Josef Urban
      Pages 149-163
    3. Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev
      Pages 164-179
    4. Marcos Cramer, Peter Koepke, Bernhard Schröder
      Pages 180-195
    5. Bastiaan Heeren, Johan Jeuring
      Pages 196-211
    6. Fulya Horozal, Alin Iacob, Constantin Jucovschi, Michael Kohlhase, Florian Rabe
      Pages 212-227
    7. Petr Sojka, Martin Líška
      Pages 228-243
    8. Makarius Wenzel
      Pages 244-259
    9. Iain Whiteside, David Aspinall, Lucas Dixon, Gudmund Grov
      Pages 260-275
  4. CICM Systems and Projects

About these proceedings


This book constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011, the 10th International Conference on Mathematical Knowledge Management, MKM 2011, and a new track on Systems and Projects descriptions that span both the Calculemus and MKM topics, all held in Bertinoro, Italy, in July 2011.
All 51 submissions passed through a rigorous review process. A total of 15 papers were submitted to Calculemus, of which 9 were accepted. Systems and Projects track 2011 there have been 12 papers selected out of 14 submissions while MKM 2011 received 22 submissions, of which 9 were accepted for presentation and publication. The events focused on the use of AI techniques within symbolic computation and the application of symbolic computation to AI problem solving; the combination of computer algebra systems and automated deduction systems; and mathematical knowledge management, respectively.


artificial intelligence automated reasoning information retrieval math text mining symbolic mathematics

Editors and affiliations

  • James H. Davenport
    • 1
  • William M. Farmer
    • 2
  • Josef Urban
    • 3
  • Florian Rabe
    • 4
  1. 1.Departments of Computer Science and Mathematics SciencesUniversity of BathUnited Kingdom
  2. 2.Department of Computing and SoftwareMcMaster UniversityHamiltonCanada
  3. 3.Institute for Computing and Information SciencesRadboud UniversityNijmegenThe Netherlands
  4. 4.Department of Computer ScienceJacobs University BremenBremenGermany

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences