Achim Mahnke Jan Scheffczyk Engineering Mathematical Knowledge. 250-266 2005 conf/mkm/2005 MKM http://dx.doi.org/10.1007/11618027_17 db/conf/mkm/mkm2005.html#MahnkeS05