© 2019

Intelligent Computer Mathematics

12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings

  • Cezary Kaliszyk
  • Edwin Brady
  • Andrea Kohlhase
  • Claudio Sacerdoti Coen
Conference proceedings CICM 2019

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

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

Table of contents

  1. Front Matter
    Pages i-xii
  2. Jonas Bayer, Marco David, Abhik Pal, Benedikt Stock
    Pages 16-27
  3. Katja Berčič, Michael Kohlhase, Florian Rabe
    Pages 28-43
  4. Chad E. Brown, Karol Pąk
    Pages 44-60
  5. Andrea Condoluci, Michael Kohlhase, Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen, Makarius Wenzel
    Pages 61-76
  6. Besik Dundua, Temur Kutsia, Mircea Marin
    Pages 77-92
  7. Jacques Carette, William M. Farmer
    Pages 109-124
  8. Moa Johansson
    Pages 125-139
  9. Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen
    Pages 171-186
  10. Dee Quinlan, Joe B. Wells, Fairouz Kamareddine
    Pages 187-204
  11. Florian Rabe, Yasmine Sharoda
    Pages 211-226
  12. Daniel Raggi, Aaron Stockdill, Mateja Jamnik, Grecia Garcia Garcia, Holly E. A. Sutherland, Peter C.-H. Cheng
    Pages 227-242
  13. Claudio Sacerdoti Coen
    Pages 243-257
  14. Moritz Schubotz, Olaf Teschke, Vincent Stange, Norman Meuschke, Bela Gipp
    Pages 258-274
  15. Kai Amann, Michael Kohlhase, Florian Rabe, Tom Wiesing
    Pages 275-290

About these proceedings


This book constitutes the refereed proceedings of the 12th International Conference on Intelligent Computer Mathematics, CICM 2019, held in Prague, Czech Republic, in July 2019. The 19 full papers presented were carefully reviewed and selected from a total of 41 submissions. The papers focus on digital and computational solutions which are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value.


artificial intelligence databases digital mathematical libraries formal logic interface generation isabelle/hol Isabelle/PIDE machine learning math search math semantics problem solving semantics symbolic computation theorem provers theorem proving variadic equation matching

Editors and affiliations

  1. 1.University of InnsbruckInnsbruckAustria
  2. 2.University of St. AndrewsSt. AndrewsUK
  3. 3.University of Applied SciencesNeu-UlmGermany
  4. 4.University of BolognaBolognaItaly

Bibliographic information

  • Book Title Intelligent Computer Mathematics
  • Book Subtitle 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings
  • Editors Cezary Kaliszyk
    Edwin Brady
    Andrea Kohlhase
    Claudio Sacerdoti Coen
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect.Notes Computer
  • DOI
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Softcover ISBN 978-3-030-23249-8
  • eBook ISBN 978-3-030-23250-4
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages XII, 307
  • Number of Illustrations 470 b/w illustrations, 70 illustrations in colour
  • Topics Artificial Intelligence
    Theory of Computation
    Information Systems and Communication Service
  • Buy this book on publisher's site