Formalized mathematical content in lecture notes on modelling and analysis

DOI10.1007/978-3-319-96812-4_12MaRDI QIDQ1798960zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

annotated lecture notesformalized mathematicsmathematical 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)

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

Cites work

• LaTeX

Cited in

(2)

• MMTTeX: connecting content and narration-oriented document formats
• Mathematical Knowledge Management

Describes a project that uses

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)