AD + GeoGebra

Centro Internacional de Encuentros Matemáticos (CIEM)

Castro-Urdiales, Cantabria

8-9 de febrero de 2010

Introduction

Nowadays, in many countries --and remarkably in Europe-- GeoGebra (GG) is becoming the software of choice for Dynamic Geometry.  On the other hand, Automatic Deduction (AD),  in the context of elementary geometry,  has reached a certain senior status, addressing more ambitious --closer to user needs-- goals, and working towards the development of prototypes performing enough to consider their use in the educational context. Thus, diverse initiatives launched around the summer of 2009, with occasion of the first International GeoGebra Conference, highlighted the opportunity of considering the inclusion of Automatic Deduction features in GeoGebra.

This workshop AD+GeoGebra intends to bring together a few AD and GG experts, as well as specialists in the use of new tools for Math education, in order to discuss and elaborate a roadmap towards endowing GG with diverse AD features in a near future.

When: Arrival, dinner Feb. 7, 2010. Sunday. Departure: morning Feb. 10, 2010, Wednesday.

Where: Centro Internacional de Encuentros Matematicos (CIEM), Castro-Urdiales, (Cantabria, Spain).

Program

Monday, Feb.8

Morning

9-9:30 Some welcome words by the organizers. Participants are encouraged to give a short speech (about 30 seconds!) introducing to each other.   9:30-11 State of the art concerning AD prototypes, specially on the attempts to merge AD and Dynamic Geometry.  Part I. Potential speakers:

• Prof. Neuper (20+5 minutes, including discussion)
• Prof. Janicic (20+5 minutes, including discussion)
• Prof. Quaresma (20+5 minutes, including discussion)

11-11:30 Coffee Break   11:30-13:30 State of the art concerning AD prototypes, specially on the attempts to merge AD and Dynamic Geometry. Part II.  Potential speakers:

• Prof. Narboux (20+5 minutes, including discussion)
• Prof. Pham (20+5 minutes, including discussion)
• THEOREMA: Prof. Popov, Prof. Windsteiger, Prof. Robu (45+15 minutes, including discussion)

14- 16 Lunch at Las Rocas   Afternoon   16-17:30 State of the art concerning AD prototypes, specially on the attempts to merge AD and Dynamic Geometry.  Part III. Potential speakers:

• Prof. Recio (20+5 minutes, including discussion)
• Prof. Montes (20+5 minutes, including discussion)
• Prof. Roanes (20+5 minutes, including discussion)

17:30-18 Coffee Break   18-19 State of the art concerning AD prototypes, specially on the attempts to merge AD and Dynamic Geometry.  Part IV. Potential speakers:

• GDI/LADucation: Prof. Botana, Prof. Escribano, Prof. Abanades, Prof. Valcarce (45+15 minutes, including discussion)

19-19:30 The Math Education point of view. Part I.

• Prof. Richard, Prof. Fortuny (20+5 minutes, including discussion)

19:30-20 Global discussion.

• Moderator: Prof. Janicic

21:30 Dinner at   Las Rocas

Tuesday, Feb. 9 

Morning

9-10:30 A short introduction to GeoGebra  and to its characteristics concerning possible inclusion of AD features.

• Prof. Hohenwarter, Prof. Kreis (75 + 10 minuutes, including discussion)

10:30-11 Using GeoGebra at Schools.

• Prof. Losada (20+5 minutes, including discussion)

11-11:30 Coffee Break   11:30-12 The Math Education  point of view. Part II.

• Prof. Fortuny, Prof. Richard (20+5 minutes, including discussion) 

12-13 Some Math Education software

• Tutormates: Prof. A. Pascual, Prof. Gonzalez Lopez (20+5 minutes, including discussion)
• GeoGebra Tutor: Prof. J. Pascual, Prof. Puertas (20+5 minutes, including discussion)

14-16 Lunch at Las Rocas   Afternoon   16-17:30  Collective ellaboration of a realistic  "wish list"  for a possible AD+GeoGebra prototype. Global discussion.  

• Moderators: Prof. Neuper and Prof. Hohenwarter

17:30-18 Coffee Break   18-19:30 Building up a detailed strategy to achieve AD+GeoGebra. Assignment of tasks for the near future. Global discussion.  

• Moderators: Prof. Richard and Prof. Kreis.

20:30 Dinner at Marcelo's    

Participants