Learning support systems based on mathematical knowledge management

DOI10.1007/978-3-031-42753-4_6MaRDI QIDQ6118818zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• scientific article; zbMATH DE number 2088813
• scientific article; zbMATH DE number 1983257
• Personalized instruction in university mathematics
• scientific article; zbMATH DE number 2088890
• scientific article; zbMATH DE number 1756670

Cites work

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

Cited in

(4)

• Reusing learning objects via theory morphisms
• Towards semantic markup of mathematical documents via user interaction
• Semantic authoring in a flexiformal context -- bulk annotation of rigorous documents
• Reaping the benefits of modularization in flexiformal mathematics by GF-based AST transformations

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6118818)