@Inproceedings{EPTCS290.6, author = {Neuper, Walther}, year = {2019}, title = {Technologies for "Complete, Transparent \& Interactive Models of Math" in Education}, editor = {Quaresma, Pedro and Neuper, Walther}, booktitle = {{\rm Proceedings 7th International Workshop on} Theorem proving components for Educational software, {\rm Oxford, United Kingdom, 18 july 2018}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {290}, publisher = {Open Publishing Association}, pages = {76-95}, doi = {10.4204/EPTCS.290.6}, }