CICM-WS 2021
Workshop Papers at 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)
Michael Kohlhase 4)
Andrea Kohlhase 5)
Adam Naumowicz 6)
Dennis Müller 4)
Yasmine Sharoda 7)
Claudio Sacerdoti Coen 8)

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

# Instructions for Table of Contents 
# The table of contents normally is a plain list of papers (with titles/authors).
# The paper title should be linked to the paper URL (usually pdf).
# You may include "session" subsections e.g. to reflect the track structure of your workshop.
# Authors should be specified as comma-separated lists with full author names
# (like John Smith). Avoid glue words like 'by' and 'and'. If applicable, then lookup how
# the author is spelled out by DBLP.
# You may also provide additional material such as preface, bibtex files, complete 
# proceedings as a single pdf, and similar items. The additional items should be 
# clearly separated from the paper list, preferably after the table of contents.
# Please only tag original papers with the CEURTITLE/CEURAUTHOR scheme. Rather do not tag
# additional material with this scheme!
# For the time being, presentation slides should also not be tagged by CEURTITLE/CEURAUTHOR.
# CEUR-WS shall watermark PDF files in a published volume by its online CEUR-WS.org URL.
# If there are certain PDF files like frontmatter or images that you like to exclude
# from watermarking, then give it a name like 'xfrontmatter.pdf'. 
# For all other PDF files, use functional names like
#   - paper1.pdf   (regular papers; start with paper1, then paper2,...)
#   - invited1.pdf  (invited paper)
#   - keynote1.pdf  (a variant for invited papers)
#   - short1.pdf   (a short paper that still is a citable paper)
#   - abstract1.pdf  (an abstract that is not supposed to be a citable paper)
#   - preface.pdf   (a preface, usually not citable)
# By default, all PDF files of a published volume will be watermarked by their online CEUR-WS URL.
# You can disable this by prefixing the filename with the letter 'x', see xpreface below.

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
yyyy-mm-dd: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|