Peter Koepke. Textbook Mathematics in the Naproche-SAD System. In Edwin C. Brady, James H. Davenport, William M. Farmer, Cezary Kaliszyk, Andrea Kohlhase, Michael Kohlhase, Dennis Müller 0001, Karol Pak, Claudio Sacerdoti Coen, editors, 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. Volume 2634 of CEUR Workshop Proceedings, CEUR-WS.org, 2019. [doi]
@inproceedings{Koepke19,
title = {Textbook Mathematics in the Naproche-SAD System},
author = {Peter Koepke},
year = {2019},
url = {http://ceur-ws.org/Vol-2634/FMM4.pdf},
researchr = {https://researchr.org/publication/Koepke19},
cites = {0},
citedby = {0},
booktitle = {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},
editor = {Edwin C. Brady and James H. Davenport and William M. Farmer and Cezary Kaliszyk and Andrea Kohlhase and Michael Kohlhase and Dennis Müller 0001 and Karol Pak and Claudio Sacerdoti Coen},
volume = {2634},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}