Reusing learning objects via theory morphisms

DOI10.1007/978-3-031-66997-2_10MaRDI QIDQ6648165zbMATH OpenFDO

Authors Michael Kohlhase, Marcel Schütz

Publication date 4 December 2024

Full work available at URL https://doi.org/10.1007/978-3-031-66997-2_10

Mathematics Subject Classification ID

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

Cites work

• A scalable module system
• Grammatical Framework
• Injecting formal mathematics into LaTeX
• Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26--31, 2021. Proceedings
• Learning support systems based on mathematical knowledge management
• System description STEX3 -- a \LaTeX-based ecosystem for semantic/active mathematical documents

Cited in

(1)

• Reaping the benefits of modularization in flexiformal mathematics by GF-based AST transformations

This page was built for publication: Reusing learning objects via theory morphisms

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