Geogebra: la eficiencia de la intuición. Rafael Losada Liste (2007) Gaceta de la Real Sociedad Matemática Española
Gröbner bases in geometry theorem proving and simplest degeneracy conditions. Winkler, Franz (1990) Mathematica Pannonica