Learning support systems based on mathematical knowledge management

DOI10.1007/978-3-031-42753-4_6OpenAlexW4386297875MaRDI QIDQ6118818

Marc Berges, Michael Kohlhase, Abhishek Chugh, Dennis Müller, Dominic Lohr, Jonas Betzendahl

Publication date: 28 February 2024

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-42753-4_6

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

Cites Work

• Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26--31, 2021. Proceedings
• Relational data across mathematical libraries
• Injecting formal mathematics into LaTeX
• System description STEX3 -- a \LaTeX-based ecosystem for semantic/active mathematical documents

This page was built for publication: Learning support systems based on mathematical knowledge management