1 citations · 1 across the 2 of their papers we have counts for
2 papers
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…