© 2021

Intelligent Computer Mathematics

14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings

  • Fairouz Kamareddine
  • Claudio Sacerdoti Coen
Conference proceedings CICM 2021

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

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

Table of contents

  1. Front Matter
    Pages i-xx
  2. Formalizations

    1. Front Matter
      Pages 1-1
    2. Chelsea Edmonds, Lawrence C. Paulson
      Pages 3-18
    3. Adrian De Lon, Peter Koepke, Anton Lorenzen, Adrian Marti, Marcel Schütz, Erik Sturzenhecker
      Pages 19-31
    4. Asta Halkjær From, Agnes Moesgård Eschen, Jørgen Villadsen
      Pages 32-46
    5. Mohamed Abdelghany, Sofiène Tahar
      Pages 47-64
  3. Automatic Theorem Proving and Machine Learning

    1. Front Matter
      Pages 65-65
    2. Liao Zhang, Lasse Blaauwbroek, Bartosz Piotrowski, Prokop Černỳ, Cezary Kaliszyk, Josef Urban
      Pages 67-83
    3. Krsto Proroković, Michael Wand, Jürgen Schmidhuber
      Pages 84-89
    4. Ruocheng Shan, Abdou Youssef
      Pages 90-106
    5. Márton Hajdu, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov
      Pages 124-129
  4. Search and Classification

    1. Front Matter
      Pages 135-135
    2. Susanne Arndt, Patrick Ion, Mila Runnwerth, Moritz Schubotz, Olaf Teschke
      Pages 153-158
    3. Dávid Lupták, Vít Novotný, Michal Štefánik, Petr Sojka
      Pages 159-164
  5. Teaching and Geometric Reasoning

    1. Front Matter
      Pages 165-165
    2. Jaroslav Macke, Jiri Sedlar, Miroslav Olsak, Josef Urban, Josef Sivic
      Pages 167-184
    3. Petra Hozzová, Laura Kovács, Jakob Rath
      Pages 185-196

About these proceedings


This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*.

The 12 full papers, 7 system descriptions, 1 system entry, and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 38 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics.

* The conference was held virtually due to the COVID-19 pandemic.


architecting architecture verification and validation artificial intelligence automata theory computer programming computer science computer systems education formal languages formal logic internet linguistics machine learning mathematics programming languages semantics software design software engineering theorem provers theoretical computer science

Editors and affiliations

  1. 1.Heriot-Watt UniversityEdinburghUK
  2. 2.University of BolognaBolognaItaly

Bibliographic information