@Inproceedings{EPTCS328.4, author = {Carl, Merlin}, year = {2020}, title = {Number Theory and Axiomatic Geometry in the Diproche System}, editor = {Quaresma, Pedro and Neuper, Walther and Marcos, Jo\~ao}, booktitle = {{\rm Proceedings 9th International Workshop on} Theorem Proving Components for Educational Software, {\rm Paris, France, 29th June 2020}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {328}, publisher = {Open Publishing Association}, pages = {56-78}, doi = {10.4204/EPTCS.328.4}, }