5 citations · 6 across the 3 of their papers we have counts for
3 papers
cs.CG2016★ 5 cited
New tools in GeoGebra offering novel opportunities to teach loci and envelopes
Francisco Botana, Zoltán Kovács
GeoGebra is an open source mathematics education software tool being used in thousands of schools worldwide. Since version 4.2 (December 2012) it supports symbolic computation of l…
math.AG2013★ 1 cited
A dynamic symbolic geometry environment based on the GröbnerCover algorithm for the computation of geometric loci and envelopes
Miguel A. Abánades, Francisco Botana
An enhancement of the dynamic geometry system GeoGebra for the automatic symbolic computation of algebraic loci and envelopes is presented. Given a GeoGebra construction, the proto…
cs.MS2012
Automatic Deduction in Dynamic Geometry using Sage
Francisco Botana, Miguel A. Abánades
We present a symbolic tool that provides robust algebraic methods to handle automatic deduction tasks for a dynamic geometry construction. The main prototype has been developed as…