| Vol-2634 urn:nbn:de:0074-2634-7 Copyright © 2019 for the individual papers by the papers' authors. Copyright © 2019 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).

# CICM-WS 2019
Workshop Papers at 12th Conference on Intelligent Computer Mathematics CICM 2019

### Joint Proceedings of the FMM and LML Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2019
co-located with the 12th Conference on Intelligent Computer Mathematics (CICM 2019)

### Prague, Czech Republic, July 8-12, 2019.

Edited by

### Edwin Brady 1)
James Davenport 2)
William M. Farmer 3)
Cezary Kaliszyk 4)
Andrea Kohlhase 5)
Michael Kohlhase 6)
Dennis Müller 6)
Karol Pąk 7)
Claudio Sacerdoti Coen 8)

1) University of St Andrews
2) University of Bath
3) McMaster University
4) University of Innsbruck
5) Neu-Ulm University of Applied Sciences
6) FAU Erlangen-Nürnberg
7) University of Białystok
8) University of Bologna

## Table of Contents

- Preface

### Formal Mathematics for Mathematicians (FMM) (Short Papers)

- Preface
- Testing Mizar User Interactivity in a University-level Introductory Course on Foundations of Mathematics
  Adam Naumowicz
- Numerical MATh
  Michael Junk, Stefan Hölle
- Sethood Property in Mizar
  Artur Korniłowicz
- Textbook Mathematics in the Naproche-SAD System
  Peter Koepke
- Formal verification of the correctness of chosen algorithms in Mizar
  Adrian Jaszczak
- Constructing Examples of Fuzzy Implications within the Mizar Mathematical Library
  Adam Grabowski

### Workshop on Large Mathematical Libraries

- Preface
- Isabelle technology for the Archive of Formal Proofs with application to MMT
  Makarius Wenzel
- alsoMATH - A Database for Mathematical Algorithms and Software
  Wolfgang Dalitz, Wolfram Sperber, Moritz Schubotz, Hagen Chrapary

### The CICM 2019 Doctoral Program (Short Papers)

- The “MATh Tutor” project
  Sebastian Sahli
- New Approaches to ATPs
  Frieder Simon
- Understanding Scientific Documents with Synthetic Analysis on Mathematical Expressions and Natural Language
  Takuto Asakura
- Hybrid and alternative logics in Isabelle
  Joshua Chen
- Definedness Reasoning in Formal Mathematics and Theorem Proving
  Jonas Betzendahl
- A Unifying Framework for Managing Conflict-laden Content
  Max Rapp
- Leveraging Information Contained in Theory Presentations
  Yasmine Sharoda
- Evolving MathHub for Tetrapodal Math
  Tom Wiesing
- Automating Formalization of Mathematics with Machine Learning and Data Mining
  Qingxiang Wang

### The Work in Progress Section of CICM 2019

- OntoMathEdu: Towards an Educational Mathematical Ontology
  Alexander Kirillovich, Olga Nevzorova, Marina Falileeva, Evgeny Lipachev, Liliana Shakirova
- Creating a Database of Definitions From Large Mathematical Corpora
  Luis Berlioz
- MDML: The Mathdoc Digital Mathematics Library
  Alexandre Bouquet Thierry Bouche

2020-01-24: submitted by Cezary Kaliszyk, metadata incl. bibliographic data published under Creative Commons CC0
2020-07-07: published on CEUR-WS.org |valid HTML5|