|
|||||
|
|
Automated Theorem Proving in GeoGebra: Current Achievements |
|
| Authors: | Francisco Botana Markus Hohenwarter Predrag Janičić Zoltán Kovács Ivan Petrović Tomás Recio Simon Weitzhofer |
| Affiliation: | 1. Department of Applied Mathematics I, Escola de Enxe?ería Forestal, University of Vigo at Pontevedra, Campus A Xunqueira, 36005, Pontevedra, Spain 2. Department of Mathematics Education, Johannes Kepler University, Altenbergerstr 69, 4040, Linz, Austria 3. Department for Computer Science, Faculty of Mathematics, University of Belgrade, Studentski trg 16, 11000, Belgrade, Serbia 4. Department of Mathematics, Statistics and Computation, Faculty of Sciences, University of Cantabria, Avenida de los Castros, s/n, 39071, Santander, Spain |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |