CICM-WS 2021
Workshop Papers of the 14th Conference on Intelligent Computer Mathematics (CICM 2021)

Joint Proceedings of the FMM, FVPS, MathUI, NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021
co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021)

Virtual Event, Timisoara, Romania, July 26 - 31, 2021.

Edited by

Jasmin Blanchette 1)
James Davenport 2)
Peter Koepke 3)
Andrea Kohlhase 4)
Michael Kohlhase 5)
Adam Naumowicz 6)
Dennis Müller 5)
Yasmine Sharoda 7)
Claudio Sacerdoti Coen 8)

1) Vrije Universiteit Amsterdam
2) University of Bath
3) Universität Bonn
4) Neu-Ulm University of Applied Sciences
5) FAU Erlangen-Nürnberg
6) University of Białystok
7) AWS Web Services
8) University of Bologna

Table of Contents

Formal Mathematics for Mathematicians (FMM) (Short Papers)

2nd Workshop on Formal Verification of Physical Systems (FVPS 2021)

13th MathUI Workshop 2021 - Mathematical User Interaction

NatFoM 2021 - Workshop on Natural Formal Mathematics

31th OpenMath Workshop

CICM 2021 Doctoral Programme

CICM 2021 Informal Track

2022-06-03: submitted by Michael Kohlhase metadata incl. bibliographic data published under Creative Commons CC0
2023-04-19: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|