Mathematics in Computer Science
Papers
744
Papers 785
1 page of 79 pages (785 results)
Source
Source
Source
Source
Source
Source
Source
Source
Source
#1Francisco Botana (Universidade de Vigo)H-Index: 10
#2Zoltán KovácsH-Index: 17
Last. Tomás Recio (UC: University of Cantabria)H-Index: 18
view all 3 authors...
We present a new method for the systematic and automated finding of theorems holding on a given elementary geometry figure. The process is illustrated by means of the software tool Automated Geometer, developed by the authors on top of GeoGebra, a dynamic geometry system with millions of users at high schools and universities, all over the world, thus conferring our proposal with a potential impact beyond the scientific community context. The Automated Geometer exploits GeoGebra’s recently added...
Source
12345678910
Top fields of study
This website uses cookies.
We use cookies to improve your online experience. By continuing to use our website we assume you agree to the placement of these cookies.
To learn more, you can find in our Privacy Policy.