GeoGebra as a learning mathematical environment

GeoGebra, a software system for dynamic geometry and algebra in the plane, since its inception in 2001, has gone from a dynamic geometry software (DGS), to a powerful computational tool in several areas of mathematics. Powerful algebraic capabilities have joined GeoGebra, an efficient spreadsheet that can deal with many kinds of objects, an algebraic and symbolic calculation system and several graphical views that expand the possibility of multidimensional representations, namely, by using colouring domain techniques, expanded to representations in the Riemann sphere, making this DGS a powerful research tool in mathematics. On the other hand, GeoGebra can create applications easily and export to HTML, and the possibility to quickly integrating these applets in several web platforms provides this DGS with an excellent way to create strong collaborative environments to teach and learn mathematics. Recently was added to GeoGebra powerful capabilities that transform this software a real Learning Mathematical Environment, using the GeoGebraBooks and GeoGebraGroups, plain of collaborative functionality between students and teachers

Towards a Geometry Automated Provers Competition

The geometry automated theorem proving area distinguishes itself by a large number of specific methods and implementations, different approaches (synthetic, algebraic, semi-synthetic) and different goals and applications (from research in the area of artificial intelligence to applications in education). Apart from the usual measures of efficiency (e.g. CPU time), the possibility of visual and/or readable proofs is also an expected output against which the geometry automated theorem provers (GATP) should be measured. The implementation of a competition between GATP would allow to create a test bench for GATP developers to improve the existing ones and to propose new ones. It would also allow to establish a ranking for GATP that could be used by "clients" (e.g. developers of educational e-learning systems) to choose the best implementation for a given intended use.Comment: In Proceedings ThEdu'19, arXiv:2002.1189