Copyright © 2022 for
the individual papers by the papers' authors.
Copyright © 2022 for the volume
as a collection by its editors.
This volume and its papers are published under the
Creative Commons License Attribution 4.0 International
(CC BY 4.0).
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.
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
summary: There were 39 papers submitted for peer-review to this workshop. Out of these,
28 regular papers were accepted for this volume.
Formal Mathematics for Mathematicians (FMM) (Short Papers)
2nd Workshop on Formal Verification of Physical Systems (FVPS 2021)
13th MathUI Workshop 2021 - Mathematical User Interaction
A Conceptual Design for an Eye-Tracking Experiment on Formula Linebreaking (short paper)
Story Based Content Structuring in MATh (short paper)
Monitoring the Impact of Teacher's Intervention in Inquiry-Based Mathematics Learning with the use of Dynamic Geometry (short paper)
MioGatto: A Math Identifier-oriented Grounding Annotation Tool (short paper)
Sophize Markdown and Collaboration Interface (short paper)
Dynamic User Interfaces via Incremental Knowledge Management (short paper)
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)