Remote symbolic computation of loci. (English)
Int. J. Technol. Math. Educ. 17, No. 3, 135-140 (2010).
1
Free mathematical software. (Spanish)
Gac. R. Soc. Mat. Esp. 12, No. 2, 325-346 (2009).
2
The laboratory of geometry and proofs. (Spanish)
Gac. R. Soc. Mat. Esp. 12, No. 3, 531-545 (2009).
3