Dynamic Geometry

and Mathematics Education

Special Session at the 24^th Conference on Applications of Computer Algebra (ACA 2018), 
June 18 - 22, 2018, Santiago de Compostela, Spain

Aim and scope

Dynamic geometry environments (DGE) have emerged in the last half-century with an ever-increasing impact in mathematics education. DGE enlarges the field of geometric objects subject to formal reasoning, for instance, simultaneous operations with many geometric objects. Today DGE open the possibility of investigating visually and formulating conjectures, comparing objects, discovering or proving rigorously properties over geometric constructions, and Euclidean elementary geometry is required to reason about them.

Along these decades various utilities have been added to these environments, such as the manipulation of algebraic equations of geometric objects or the automated proving and discovering, based on computer algebra algorithms, of elementary geometry statements. Moreover, some intelligent tutoring systems for Euclidean geometry based in DGE have been developed.

The merging of these tools (DGE, automated proving and intelligent tutoring systems) is, thus, a very natural, challenging and promising issue, currently involving logic, symbolic computation, software development, algebraic geometry and mathematics education experts all from over the world.

The Special Session intends to be a forum for:

• presenting the current state of the art concerning the design and implementation of automatic reasoning features on dynamic geometry systems and intelligent tutoring systems; 

• fostering a debate concerning the role and use of such features in mathematics education, in general, and their potential impact in proof and proving conception in the classroom, in particular. 

Accepted TALKS (This list will be regularly updated when new talks are confirmed. Last  updated: July 20)

• A new approach to automated study of isoptic curves (abstract) (presentation)

Th. Dana-Picard (Jerusalem College of Technology, Israel) and Z. Kovács (Private University College of Education of the Diocese of Linz, Austria)

• Issues and challenges about instrumental proof (abstract) (presentation)

Philippe R. Richard (Université de Montréal, Canada), F. Venant (Université du Québec, Canada) and M. Gagnon (École Polytechnique de Montréal, Canada)

• Discovering properties of bar linkage mechanisms based on partial Latin squares by means of Dynamic Geometry Systems (abstract) (presentation)

Raúl M. Falcón (Universidad de Sevilla, Spain)

• Exploration of dual curves  using dynamic geometry and computer algebra system (abstract)  (presentation)

R. Hasek (University of  South Bohemia, Czech Republic)

• Programming in KeTCindy with Combined Use of Cinderella and Maxima (abstract) (presentation)

S. Takato (Toho University, Japan), S. Yamashita (National Institute od Technology, Kisazu College, Japán), J.A. Vallejo (Universidad Autonoma de San Luis Potosí, Mexico)

Organizers

• Tomás Recio (tomas.recio@unican.es), Universidad de Cantabria, Santander, Spain
• Philippe R. Richard (philippe.r.richard@umontreal.ca), Université de Montréal, Montréal, Canada
• M. Pilar Vélez (pvelez@nebrija.es), Universidad Antonio de Nebrija, Madrid, Spain

aaaaaa

Submissions

If you are interested in proposing a talk, please send an abstract to pvelez@nebrija.es. Please use the attached LaTeX template for your abstract and send the organizers both the LaTeX source and a compiled PDF version. We suggest that abstracts be 2-3 pages.

Tentative abstract submission deadline is April 16, 2018; early submissions are appreciated.

Detailed information about the session is posted at the ACA2018 conference web page http://www.usc.es/regaca/aca2018/index.html