Integrating semantic mathematical documents and dynamic notebooks

DOI10.1007/978-3-030-23250-4_19zbMath1428.68355OpenAlexW2953395000MaRDI QIDQ2287923

Florian Rabe, Michael Kohlhase, Tom Wiesing, Kai Amann

Publication date: 22 January 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-23250-4_19

Mathematics Subject Classification ID

Digital mathematics libraries and repositories (68V35)

Uses Software

• MMT
• MathHub.info
• OpenDreamKit
• Jupyter
• TGView3D
• Py4J

This page was built for publication: Integrating semantic mathematical documents and dynamic notebooks