2 citations · 2 across the 5 of their papers we have counts for
1 paper · 1 filter
Anna Käferböck, Zoltán Kovács
We give an example of automated geometry reasoning for an imaginary classroom project by using the free software package GeoGebra Discovery. The project is motivated by a publicly…