The online proceedings are available through links from the list below.
|
Miguel
Abanades, Jesus Escribano, Francisco Botana |
Remote
symbolic computation of loci
|
|
Celina
Abar |
Virtual
Learning Environment and others technologies used in continuous
formation of mathematics teachers (ZIP)
|
|
Mette
Andresen, Morten Misfeldt |
Essentials
of teacher training sessions with GeoGebra
|
|
Paul
Andrews |
Understanding the
cultural dimension in research in mathematics teaching and
learning
|
|
Steve
Arnold |
Dynamic
integration of CAS and DGS: what does this mean?
|
|
Ralph-Johan
Back |
Structured
derivations: a method for teaching proofs in high school
mathematics (ZIP)
|
|
Manfred
J. Bauch |
Thoughts
on the future of the classical worksheet (ZIP)
|
|
Christian
Bokhove |
Assessing symbol sense in a digital tool
|
|
Francisco
Botana, Jesus Escribano, Miguel Abanades |
Dynamic
Geometry vs Game Physics software (ZIP)
|
|
Josef
Böhm |
Coding
theory for the classroom? (ZIP)
|
|
Josef
Böhm, Eno
Tonisson |
Do
we need a CAS-dictionary?
|
|
Bruno
Buchberger |
Mathematical
invention: How much can be automated?
|
|
Ramon
Eixarch |
WIRIS,
tools for web based learning environments (Moodle, Drupal, Joomla,
Blogs)
|
|
Jesus
Escribano, Francisco Botana, Miguel Abanades |
Integrating DG and CAS
abilities under a common framework (ZIP)
|
|
Andreas
Fest |
Creating interactive
user feedback in DGS using the scripting interface of Cinderella
(ZIP)
|
|
Christian
Gütl, Alexander
Nussbaumer |
Enhanced personalized learning support of Computer Algebra Systems
|
|
André
Heck |
Modelling in cross-disciplinary authentic
student research projects
|
|
Christian
Hirsch |
Innovation
in design, acces to, and use of software tools
for high school mathematics
|
|
Djordje
Herceg, Dragoslav Herceg |
Numerical
integration with GeoGebra in high school (ZIP)
|
|
Judith
Hohenwarter, Markus Hohenwarter |
Introducing
Dynamic Mathematics Software to teachers: the case of GeoGebra
(ZIP)
|
|
Markus
Hohenwarter |
GeoGebra - Past, present,
and future of this Dynamic Mathematics Software (ZIP)
|
|
Alexandru
Horváth |
From
discovery to proof - a new approach to an old theorem in plane
geometry
|
|
Jozef
Hvorecky |
Using a managerial
analogy for making mathematics more attractive
|
|
Pedrag
Janicic |
Automated
geometry theorem proving: readability vs. efficiency
(ZIP)
|
|
Cezary Kaliszyk,
Freek Wiedijk |
Teaching logic using ProofWeb
|
|
János
Karsai |
Mathematica-aided
study of impulsive systems in the math and applied classroom
(ZIP)
|
|
János
Karsai |
How
to prepare interactive Mathematica
demonstrations for classroom (ZIP)
|
|
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)
|
|
Mihály
Klincsik |
Effects
of CAS on understanding probabilistic concepts (ZIP)
|
|
Martin
Kollar, Jozef
Hvorecky |
Learning
more by solving series of problems (workshop)
|
|
Martin
Kollar, Jozef
Hvorecky |
Learning more by
solving series of problems
|
|
Ulrich
Kortenkamp |
Blended experimentation with DGS (ZIP)
|
|
Ulrich Kortenkamp,
Christian Dohrmann | User
Interface Design for Interactive Geometry Software (ZIP)
|
|
Ulrich
Kortenkamp, Andreas
Fest |
Beyond DGS - simulations and scripting with Cinderella (ZIP)
|
|
Peter
Körtesi, Pellumb Kllogjeri |
European Computer Algebra Driving Licence (ZIP)
|
|
Zoltán
Kovács |
Making
a difference
|
|
Zoltán
Kovács |
WebMathematics
Interactive 2: A graphical user interface to computer algebra
systems for students (ZIP)
|
|
Yves
Kreis,
Markus
Hohenwarter Judith Hohenwarter |
GeoGebra
3.2 – The new spreadsheet view
|
|
Zsolt
Lavicza |
Mathematicians’
views on CAS use in teaching
|
|
Matija
Lokar |
Reuse
of teaching materials
|
|
Kaja
Maricic |
The
methodical computer visulaisation of basic functions and their
inverse functions (ZIP)
|
|
George
T. Maróti |
How
to implement automata constructions in Maple? (ZIP)
|
|
Walther
Neuper |
Common
grounds for modeling mathematics in educational software
|
|
Francisco Pérez-Arribas |
Teaching
computer -aided design with the use of Dynamic Geometry
|
|
Vladimira
Petraskova, Roman Hasek |
Issue
of financial literacy (ZIP)
|
|
Rein
Prank |
White-Box/Black-Box
principle in expression manipulation: How much can be automated?
|
|
Jürgen
Richter-Gebert |
Visualization
and Algorithms: Old teaching paradigms in new contexts
|
|
Peter
Samuels |
Design
of a mobile mathematics creativity laboratory for contemporary
learners (ZIP)
|
|
Csaba
Sárvári, Mihály Klincsik, Zsolt Lavicza |
Cognitive
strategies and CAS
|
|
Wolfgang
Schreiner |
On
proving assistants in the classroom (and
elsewhere) (ZIP)
|
|
Reinhard
Simonovits, Philip
Ramsden |
Using
M@th Desktop notebooks and palettes in the classroom
|
|
Alla
Stolyarevska |
Iteration
and recursion in dynamical programming (ZIP)
|
|
Lajos
Szilassi |
Some
new regular toroids with hexagonal faces (ZIP)
|
|
Durdica
Takaci, Arpad Takaci |
On
the visualization of function concept by using CAS
|
|
Anna
Takács Klingné |
Educational
experiences about using different computer programs
|
|
Eno
Tonisson |
Answers
offered by Computer Algebra Systems to expression transformation
exercises
|
|
Jostein
Vage |
In
search of a locus using PC and DGS
|
|
Alfred
Wassermann |
JSXGraph - Dynamic Geometry with
JavaScript (ZIP)
|
|
Makarius
Wenzel |
The
Isabelle/Isar framework as a “logical operating system”
|
