Formalized mathematical content in lecture notes on modelling and analysis

DOI10.1007/978-3-319-96812-4_12zbMath1418.97001OpenAlexW2884892099MaRDI QIDQ1798960

Stefan Hölle, Sebastian Sahli, Michael Junk

Publication date: 18 October 2018

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

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)

Uses Software

• LaTeX

Cites Work

• LaTeX

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