English | French

 Proving and discovery in Geometry: 

Dynamic Geometry, Computer Algebra
and Mathematics Education

Special Session at the 25th Conference on Applications of Computer Algebra  (ACA2019), 
July 16 - 20, 2019, montréal, canada

Aim and scope

 Dynamic geometry environments (DGE) have emerged in the last half-century with an ever-increasing impact in mathematics education. DGE enlarge 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, discovery 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:




Detailed information about the sesion, LaTex template for abstracts and deadline will be posted at the ACA2019 conference web page http://aca2019.etsmtl.ca/program/call-for-abstracts/

If you are interested in proposing a talk, please send an abstract abstract (compiled from ACA2019 template   
http://s23466.pcdn.co/wp-content/uploads/2019/03/ACA2019_Abstract.zip) to
pvelez@nebrija.es including both the LaTeX source and a compiled PDF version. We suggest that abstracts be 2-3 pages. 

DEADLINE FOR SUBMISSION OF ABSTRACTS: May 10, 2019. NOTIFICATION OF ACCEPTANCE: May 17, 2019. http://aca2019.etsmtl.ca/program/important-dates/

Early submissions are welcome.