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.

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)

# 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.
#