Mathematics in Computer Science

Papers

Papers 785

1 page of 79 pages (785 results)

Newest

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...

12345678910