Formalized mathematical content in lecture notes on modelling and analysis
From MaRDI portal
Publication:1798960
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
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
Cites Work
