|
Session Overview |
| |||
9:30am - 10:30am |
Keynote V: Keynote (Predrag Janičić) Location: Jacob-Volhard-Hörsaal Challenges for the Next Generation Mathematics Education Software |
||
10:30am - 11:00am |
Coffee Mo AM: Coffee break and Poster presentation Location: Georg-Cantor-Haus Computer Modeling in Mathematics Training of Future Civil Specialists A dynamic introduction to fractional calculus |
||
11:00am - 1:00pm |
Assessment: Assessment (general topic) Location: VSP 1.04 Chair: Alla Stolyarevska Problem-solving according to Archimedes Designing human-like automated assessment to replace proportional penalties for error types Student-Documentations in Mathematics Classroom Using CAS: Between Technical, Subject-Based and Everyday Language Gains and Pitfalls of Quantifier Elimination as a teaching tool |
Curriculum: Curriculum (general topic) Location: VSP 1.03 Chair: Csaba Sárvári Teaching numerical methods using CAS Extremal Polynomials with Computer Algebra: An Elementary Approach Software Support of Functional Line in Precalculus Studies |
Reasoning: Reasoning and Proving with Tool Support (working group) Location: VSP 1.02 Chair: Walther Neuper Playing Mathematics like a Chess Game? An Educational View on Computer Theorem Proving Computer assisted proving from the perspective of the secondary school teacher Database supported automated observation of dynamic constructions |
1:00pm - 1:30pm |
Closing: Closing ceremony Location: Jacob-Volhard-Hörsaal |
||
1:30pm - 2:45pm |
Lunch IV: Lunch Location: Georg-Cantor-Haus |