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

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|