Session Overview
 
Date: Monday, 29/Sep/2014
9:30am
-
10:30am
Keynote V: Keynote (Predrag Janičić)
Location: Jacob-Volhard-Hörsaal
 

Challenges for the Next Generation Mathematics Education Software

Janičić, Predrag

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

Pikalova, Valentyna; Goroneskul, Marianna


A dynamic introduction to fractional calculus

Herczeg, Viktória; Karsai, János; Takaci, Durdica

11:00am
-
1:00pm
Assessment: Assessment (general topic)
Location: VSP 1.04
Chair: Alla Stolyarevska
 

Problem-solving according to Archimedes

Hašek, Roman; Suchopárová, Tereza


Designing human-like automated assessment to replace proportional penalties for error types

Prank, Rein


Student-Documentations in Mathematics Classroom Using CAS: Between Technical, Subject-Based and Everyday Language

Schacht, Florian


Gains and Pitfalls of Quantifier Elimination as a teaching tool

Oldenburg, Reinhard

Curriculum: Curriculum (general topic)
Location: VSP 1.03
Chair: Csaba Sárvári
 

Teaching numerical methods using CAS

Perjési-Hámori, Ildikó


Extremal Polynomials with Computer Algebra: An Elementary Approach

Vajda, Robert


Software Support of Functional Line in Precalculus Studies

Nodelman, Vladimir

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

Neuper, Walther


Computer assisted proving from the perspective of the secondary school teacher

Štrausová, Irena; Hašek, Roman


Database supported automated observation of dynamic constructions

Magajna, Zlatan

1:00pm
-
1:30pm
Closing: Closing ceremony
Location: Jacob-Volhard-Hörsaal
1:30pm
-
2:45pm
Lunch IV: Lunch
Location: Georg-Cantor-Haus