Cooperation between a Dynamic Geometry Environment and a Computer Algebra System for Geometric Discovery. - Francisco Botana; José L. Valcarce (CASC, 2001)

A dynamic-symbolic interface for geometric theorem discovery. - Francisco Botana; José L. Valcarce (Comput. Educ., 2002)

A software tool for the investigation of plane loci. - Francisco Botana; José L. Valcarce (Math. Comput. Simul., 2003)

Automatic determination of envelopes and other derived curves within a graphic environment. - Francisco Botana; José L. Valcarce (Math. Comput. Simul., 2004)

Automated Discovery in Elementary Extrema Problems. - Francisco Botana; José L. Valcarce (International Conference on Computational Science (2), 2006)

Using Free Open Source Software for Intelligent Geometric Computing. - Miguel A. Abánades; Francisco Botana; Jesús Escribano; José L. Valcarce (ICCSA (4), 2011)

Equal Bisectors at a Vertex of a Triangle. - R. Losada; Tomás Recio; José L. Valcarce (ICCSA (4), 2011)