Computer Algebra and
Dynamic Geometry Systems in
Mathematics Education
RISC, Castle of Hagenberg, Austria. July 11-13, 2009.
Chronological Alphabetical

Online Proceedings Chronlogical Listing

The online proceedings are available through links from the conference program below.

Proposed Programme

11 July 2009


Plenary I: Ralph-Johan Back: Structured derivations: a method for teaching proofs in high school mathematics (ZIP) (Room: P)


Parallel session I


Ildikó Perjési-Hámori


Jozef Hvorecky


Morten Misfeldt

ConvMathAssist WG


Ulrich Kortenkamp, Christian Dohrmann

User Interface Design for Interactive Geometry Software (ZIP)

Durdica Takaci, Arpad Takaci

On the visualization of function concept by using CAS

Alexandru Horváth

From discovery to proof - a new approach to an old theorem in plane geometry

Walther Neuper

Common grounds for modeling mathematics in educational software

János Karsai

How to prepare interactive Mathematica demonstrations for classroom


Francisco Botana, Jesus Escribano, Miguel Abanades Dynamic Geometry vs Game Physics software (ZIP)

Helga Jungwirth

Through different eyes: a sociological approach to explanations in CAS-based mathematics classrooms

Kaja Maricic

The methodical computer visulaisation of basic functions and their inverse functions (ZIP)

Manfred J. Bauch

Thoughts on the future of the classical worksheet


Jostein Vage

In search of a locus using PC and DGS

Eno Tonisson

Answers offered by Computer Algebra Systems to expression transformation exercises

Anna Takács Klingné

Educational experiences about using different computer programs

Steve Arnold Dynamic integration of CAS and DGS: what does this mean?


Parallel session II


Paul Andrews


Peter Samuels


Mette Andresen

ConvMathAssist WG


Silva Kmetic

A didactical aspect on teaching mathematics using dynamic geometry software

Jesus Escribano, Francisco Botana, Miguel Abanades

Integrating DG and CAS abilities under a common framework (ZIP)

Vukobratovic Ruzica

On the notions of function

Markus Hohenwarter

GeoGebra - Past, present, and future of this Dynamic Mathematics Software (ZIP)

Philip Ramsden

Interactive Geometry In Mathematica

Ulrich Kortenkamp Blended experimentation with DGS (ZIP)

Mihály Klincsik

Effects of CAS on understanding probabilistic concepts (ZIP)

András Ringler

How to construct a regular pentagon from a square?

Pedrag Janicic

Automated geometry theorem proving: readability vs. efficiency (ZIP)

Mazen Shahin, Valentyna Pikalova

Explorations in Elementary Mathematical Modeling

Alla Stolyarevska

Iteration and recursion in dynamical programming (ZIP)

Vladimira Petraskova, Roman Hasek

Issue of financial literacy (ZIP)

Makarius Wenzel

The Isabelle/Isar framework as a “logical operating system”


Plenary II: André Heck: Modelling in cross-disciplinary authentic student research projects (Room: P)


Parallel session III

Room: G

Room: C1

Room: C2

Room: RISC

Room: P


Judith Hohenwarter


Tomas Recio


Csaba Sárvári

ConvMathAssist WG


Yves Kreis, Carole Dording

GeoGebraPrim– GeoGebra for primary school

Kiyoshi Kitahara, Takayuki Abe, Kenji Fukazawa, Masataka Kaneko, Satoshi Yamashita, Setsuo Takato

Educational meanings of printed materials with three dimensional figures - KETpic into LaTeX (ZIP)

Jürgen Richter-Gebert

Visualization and Algorithms: Old teaching paradigms in new contexts

Wolfgang Schreiner

On proving assistants in the classroom (and elsewhere)


Homero Flores

Learning math, doing math: deductive thinking and construction tasks with The Geometer's Sketchpad

Rita Nagy-Kondor

Descriptive geometry and Dynamic Geometry Systems

Alfred Wassermann

JSXGraph - Dynamic Geometry with JavaScript (ZIP)

Lajos Szilassi

Some new regular toroids with hexagonal faces (ZIP)

Cezary Kaliszyk, Freek Wiedijk

Teaching logic using ProofWeb

12 July 2009


Parallel session IV


Yves Kreis


Ildikó Perjési-Hámori


Anders Sanne

ConvMathAssist WG


Andreas Fest

Creating interactive user feedback in DGS using the scripting interface of Cinderella (ZIP)

Zoltán Kovács

Making a difference

Celina Abar

Virtual Learning Environment and others technologies used in continuous formation of mathematics teachers (ZIP)

André Heck, Ton Ellermeijer

Mathematics assistants: Meeting the needs of secondary school physics education

Reinhard Simonovits, Philip Ramsden

Using M@th Desktop notebooks and palettes in the classroom

Homero Flores

Learning math, doing math: deductive thinking and construction tasks with the Geometer’s Sketchpad

Miguel Abanades, Jesus Escribano, Francisco Botana

Remote symbolic computation of loci

Gerry Stahl, Murat Perit Cakir, Stephen Weimar, Baba Kofi Weusijana

Enhancing mathematical communication for virtual math teams

Christian Hirsch

Innovation in design, acces to, and use of software tools for high school mathematics

Csaba Sárvári, Mihály Klincsik, Zsolt Lavicza

Cognitive strategies and CAS

Matija Lokar

Reuse of teaching materials


Plenary III: Paul Andrews: Understanding the cultural dimension in research in mathematics teaching and learning (Room: P)


Parallel session V


Jozef Hvorecky


Peter Samuels


ConvMathAssist WG


János Karsai

Mathematica-aided study of impulsive systems in the math and applied classroom (ZIP)

Djordje Herceg, Dragoslav Herceg

Numerical integration with GeoGebra in high school (ZIP)

Yves Kreis, Markus Hohenwarter Judith Hohenwarter

GeoGebra 3.2 – The new spreadsheet view

Philip Ramsden, Reinhard Simonovits, Bernd Thaller

Design of M@th Desktop (MD), Considerations of software design and how to teach and learn with M@th Desktop

Ramon Eixarch

WIRIS, tools for web based learning environments (Moodle, Drupal, Joomla, Blogs)

Francisco Pérez-Arribas

Teaching computer -aided design with the use of Dynamic Geometry

Martin Kollar, Jozef Hvorecky

Learning more by solving series of problems

Josef Böhm, Eno Tonisson

Do we need a CAS-dictionary?

Christian Bokhove

Assessing symbol sense in a digital tool

Christian Gütl, Alexander Nussbaumer

Enhanced personalized learning support of Computer Algebra Systems


Parallel session VI

Room: G

Room: C1

Room: C2

Room: P

Room: RISC


János Karsai


Andre Heck




Peter Samuels

Design of a mobile mathematics creativity laboratory for contemporary learners (ZIP)

Mette Andresen, Morten Misfeldt

Essentials of teacher training sessions with GeoGebra

Martin Kollar, Jozef Hvorecky

Learning more by solving series of problems

Josef Böhm

Coding theory for the classroom? (ZIP)

Ulrich Kortenkamp, Andreas Fest

Beyond DGS - simulations and scripting with Cinderella (ZIP)

Natalija Budinski

Learning and teaching mathematics in high school trough real life models

Judith Hohenwarter, Markus Hohenwarter

Introducing Dynamic Mathematics Software to teachers: the case of GeoGebra (ZIP)

Rein Prank

White-Box/Black-Box principle in expression manipulation: How much can be automated?

Yu-Wen Allison Lu, Markus Hohenwarter, Zsolt Lavicza

Establishing a professional development network with an open-source dynamic mathematics software - GeoGebra


Plenary IV: Bruno Buchberger: Mathematical invention: How much can be automated? (Room: P)

13 July 2009


Parallel session VII

Room: G

Room: C1

Room: C2

Room: P

Room: RISC


Mihály Klincsik

InterGeo WG




Tatsuyoshi Hamada

The toy box of mathematics: KNOPPIX/Math

Tomas Recio

Intergeo: fostering the use of Dynamic Geometry Software in Europe

Presentation and discussion on InterGeo issues by members of the InterGeo team:

(Confirmed attendance so far):

U. Kortenkamp

M. Abandes

F. Botana

C. Dohrmann

J. Escribano

Y. Kreis

T. Recio

A. Wassermann

Lilla Korenova, Jozef Hvorecky

Modeling towards meaning of functions

Zoltán Kovács

WebMathematics Interactive 2: A graphical user interface to computer algebra systems for students (ZIP)

George T. Maróti

How to implement automata constructions in Maple? (ZIP)

Peter Körtesi, Pellumb Kllogjeri

European Computer Algebra Driving Licence (ZIP)

Zsolt Lavicza

Mathematicians’ views on CAS use in teaching


Plenary V: Jozef Hvorecky: Using a managerial analogy for making mathematics more attractive (Room: P)

Posters and Exhibitions

Katarína Žilková – School mathematics in the environment of ICT

Anders Sanne, Zsolt Lavicza, Arne Amdal

Establishing the GeoGebra Institute of Norway


Publication stands