© 2020

Intelligent Computer Mathematics

13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings

  • Christoph Benzmüller
  • Bruce Miller
Conference proceedings CICM 2020

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

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

Table of contents

  1. Front Matter
    Pages i-xi
  2. Invited Talks

  3. Full Papers

    1. Front Matter
      Pages 21-21
    2. Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa
      Pages 23-38
    3. Katja Berčič, Michael Kohlhase, Florian Rabe
      Pages 39-54
    4. Jacques Carette, William M. Farmer, Yasmine Sharoda
      Pages 55-70
    5. Ciarán Dunne, J. B. Wells, Fairouz Kamareddine
      Pages 89-104
    6. Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar
      Pages 105-122
    7. Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov
      Pages 123-137
    8. Cezary Kaliszyk, Florian Rabe
      Pages 138-156
    9. Alexander Kirillovich, Olga Nevzorova, Marina Falileeva, Evgeny Lipachev, Liliana Shakirova
      Pages 157-172
    10. Michael Kohlhase, Benjamin Bösl, Richard Marcus, Dennis Müller, Denis Rochau, Navid Roux et al.
      Pages 173-189
    11. Laura Kovács, Hanna Lachnitt, Stefan Szeider
      Pages 190-205
    12. Dennis Müller, Florian Rabe, Colin Rothgang, Michael Kohlhase
      Pages 206-221
    13. Leonard Schmitz, Viktor Levandovskyy
      Pages 222-236
    14. Moritz Schubotz, Philipp Scharpf, Olaf Teschke, Andreas Kühnemund, Corinna Breitinger, Bela Gipp
      Pages 237-250
    15. Floris van Doorn, Gabriel Ebner, Robert Y. Lewis
      Pages 251-267
  4. System Descriptions and Datasets

    1. Front Matter
      Pages 269-269

About these proceedings


This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*.

The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions. The papers focus on advances in automated theorem provers and formalization, computer algebra systems and their libraries, and applications of machine learning, among other topics.

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


artificial intelligence computer systems databases education formal languages formal logic knowledge-based system libraries linguistics machine learning semantics software design theorem provers

Editors and affiliations

  1. 1.Department of Mathematics and Computer ScienceFreie Universität BerlinBerlinGermany
  2. 2.National Institute of Standards and TechnologyGaithersburgUSA

Bibliographic information