Vol-2634
urn:nbn:de:0074-2634-7




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

Formal Mathematics for Mathematicians (FMM) (Short Papers)

Workshop on Large Mathematical Libraries

The CICM 2019 Doctoral Program (Short Papers)

The Work in Progress Section of CICM 2019


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|