Intelligent Computer Mathematics

11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings

  • Florian Rabe
  • William M. Farmer
  • Grant O. Passmore
  • Abdou Youssef
Conference proceedings CICM 2018

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

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

Table of contents

  1. Front Matter
    Pages I-XII
  2. Grzegorz Bancerek, Adam Naumowicz, Josef Urban
    Pages 1-6
  3. Jonas Betzendahl, Michael Kohlhase
    Pages 7-22
  4. Achim D. Brucker, Idir Ait-Sadoune, Paolo Crisafulli, Burkhart Wolff
    Pages 23-38
  5. Howard S. Cohl, André Greiner-Petter, Moritz Schubotz
    Pages 39-52
  6. Łukasz Czajka, Burak Ekici, Cezary Kaliszyk
    Pages 53-59
  7. Thierry Dana-Picard, Zoltán Kovács
    Pages 60-75
  8. Jacques Carette, William M. Farmer, Yasmine Sharoda
    Pages 76-86
  9. Diane Gallois-Wong, Sylvie Boldo, Thibault Hilaire
    Pages 87-103
  10. André Greiner-Petter, Moritz Schubotz, Howard S. Cohl, Bela Gipp
    Pages 104-110
  11. Andreas Humenberger, Maximilian Jaroschek, Laura Kovács
    Pages 111-117
  12. Jan Jakubův, Josef Urban
    Pages 118-124
  13. Michael Junk, Stefan Hölle, Sebastian Sahli
    Pages 125-130
  14. Andrea Kohlhase, Michael Kohlhase, Taweechai Ouypornkochagorn
    Pages 147-163
  15. Dennis Müller, Michael Kohlhase, Florian Rabe
    Pages 209-224
  16. Yutaka Nagashima, Julian Parsert
    Pages 225-231
  17. Theresa Pollinger, Michael Kohlhase, Harald Köstler
    Pages 232-247
  18. Qingxiang Wang, Cezary Kaliszyk, Josef Urban
    Pages 255-270
  19. Abdou Youssef, Bruce R. Miller
    Pages 271-286
  20. Back Matter
    Pages 287-287

About these proceedings


​This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018, held in Hagenberg, Austria, in August 2018. 

The 23 full papers   presented were carefully reviewed and selected from a total of 36 submissions. The papers focos on the Calculemus, Digital Mathematics Libraries, and Mathematical Knowledge Management tracks which also correspond to the subject areas of the predecessor meetings. Orthogonally, the Systems and Projects track called for descriptions of digital resources, such as data and systems, and of projects, whether old, current, or new, and survey papers covering any topics of relevance to the CICM community.


computer mathematics mathematical documents mathematical markup languages mathematical software mathematics education mathematical libraries algorithmic mathematics formalized mathematics symbolic computation computer algebra theorem proving proof assistants knowledge management machine learning representation languages formal semantics system integration system interoperability semantics artifical intelligence

Editors and affiliations

  • Florian Rabe
    • 1
  • William M. Farmer
    • 2
  • Grant O. Passmore
    • 3
  • Abdou Youssef
    • 4
  1. 1.Department of Computer ScienceFriedrich-Alexander-Universität Erlangen-NürnbergErlangenGermany
  2. 2.Department of Computing and SoftwareMcMaster UniversityHamiltonCanada
  3. 3.University of CambridgeCambridgeUnited Kingdom
  4. 4.Department of Computer ScienceThe George Washington UniversityWashingtonUSA

Bibliographic information

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