Special Session at ACA'2017
to be held July 17-21, 2017 in Jerusalem, Israel
Since the last half century, automated deduction in elementary geometry has become one of the most successful achievements in the field of automated reasoning. Along these decades various methods and techniques have been studied and developed for automated proving and discovering of elementary geometry statements. On the other hand, dynamic geometry software systems (DGS) have emerged, such as Cabri Geometry, C.a.R., Cinderella, DrGeo, GeoGebra, the Geometer's Sketchpad, Geometry Expert, Geometry Expressions or Kig with an ever-increasing presence in mathematics education. Some of them possess a large number of users (over thirty million) all around the world. The merging of these two tools (automatic proving and dynamic geometry) 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
If you are interested in proposing a talk, please send an abstract to the organizers. Please use the attached LaTeX template for your abstract and send the organizers both the LaTeX source and a compiled PDF version.
*Third organizer partially supported by Spanish project MTM2014-54141-P (cagproject.tk)