NotesFAQContact Us
Collection
Advanced
Search Tips
Publication Date
In 20250
Since 20240
Since 2021 (last 5 years)0
Since 2016 (last 10 years)1
Since 2006 (last 20 years)1
Education Level
Audience
Location
Europe1
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Showing one result Save | Export
Peer reviewed Peer reviewed
PDF on ERIC Download full text
Neuper, Walther A. – Acta Didactica Napocensia, 2017
This is a position paper in the field of Engineering Education, which is at the very beginning in Europe. It relates challenges in the new field to the emerging technology of (Computer) Theorem Proving (TP). Experience shows, that "teaching" abstract models, for instance the wave equation in mechanical engineering and in electrical…
Descriptors: Engineering Education, Technology Uses in Education, Educational Technology, Models