Extend your Math with Semantics and Services

Müller D, Kohlhase M (2026)

Publication Type: Conference contribution

Publication year: 2026

Event location: University of Waterloo, Waterloo, Ontario

URI: https://kwarc.info/kohlhase/submit/icms26-semantics.pdf

Authors with CRIS profile

Dennis Müller Professur für Wissensrepräsentation und -verarbeitung Michael Kohlhase Professur für Wissensrepräsentation und -verarbeitung

Related research project(s)

Formative Assessment for Universities: Strategic Application of Innovative Methods to Raise Study Success Rates (FAUstairs) Oct. 1, 2025 - Sept. 30, 2031

How to cite

APA:

Müller, D., & Kohlhase, M. (2026). Extend your Math with Semantics and Services. In Proceedings of the International Congress on Mathematical Software 2026. University of Waterloo, Waterloo, Ontario, CA.

MLA:

Müller, Dennis, and Michael Kohlhase. "Extend your Math with Semantics and Services." Proceedings of the International Congress on Mathematical Software 2026, University of Waterloo, Waterloo, Ontario 2026.

BibTeX: Download