Making Presentation Math Computable - Greiner-Petter, André (Springer Fachmedien Wiesbaden, 2023)