Formalized mathematical content in lecture notes on modelling and analysis

DOI10.1007/978-3-319-96812-4_12zbMATH Open1418.97001OpenAlexW2884892099MaRDI QIDQ1798960FDOQ1798960

Authors: Michael Junk, Stefan Hölle, Sebastian Sahli 

Publication date: 18 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-96812-4_12

Recommendations

• MMTTeX: connecting content and narration-oriented document formats
• Mathematical Knowledge Management
• A survey of languages for formalizing mathematics
• Mathematical Knowledge Management
• Mathematical Knowledge Management

zbMATH Keywords

formalized mathematicsannotated lecture notesmathematical metalanguage

Mathematics Subject Classification ID

Computing methodologies for text processing; mathematical typography (68U15) Comprehensive works on analysis education (97I10) Educational material and media and educational technology in mathematics education (97U99)

Cites Work

• LaTeX

Cited In (1)

• Mathematical Knowledge Management

Uses Software

• LaTeX

This page was built for publication: Formalized mathematical content in lecture notes on modelling and analysis

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