SHAPE: a machine learning system from examples. - Francisco Botana; Antonio Bahamonde (Int. J. Hum. Comput. Stud., 1995)

Deriving Fuzzy Subsethood Measures from Violations of the Implication between Elements. - Francisco Botana (IEA/AIE (Vol. 1), 1998)

A Fuzzy Measure of Similarity for Instance-Based Learning. - Francisco Botana (ISMIS, 1999)

Learning Efficient Rulsets from Fuzzy Data with a Generic Algorithm. - Francisco Botana (IWANN (1), 1999)

Construction of Efficient Rulesets from Fuzzy Data through Simulated Annealing. - Francisco Botana (AIMSA, 2000)

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

Interactive versus Symbolic Approaches to Plane Loci Generation in Dynamic Geometry Environments. - Francisco Botana (International Conference on Computational Science (2), 2002)

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

A Web-Based Intelligent System for Geometric Discovery. - Francisco Botana (International Conference on Computational Science, 2003)

Automatic Determination of Algebraic Surfaces as Loci of Points. - Francisco Botana (International Conference on Computational Science, 2003)

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

A Web-based Resource for Automatic Discovery in Plane Geometry. - Francisco Botana (Int. J. Comput. Math. Learn., 2003)

Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach. - Francisco Botana; Tomás Recio (Automated Deduction in Geometry, 2004)

Where the Truth Lies (in Automatic Theorem Proving in Elementary Geometry). - Tomás Recio; Francisco Botana (ICCSA (2), 2004)

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)

Computing Locus Equations for Standard Dynamic Geometry Environments. - Francisco Botana; Miguel A. Abánades; Jesús Escribano (International Conference on Computational Science (2), 2007)

First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems. - Miguel A. Abánades; Jesús Escribano; Francisco Botana (Calculemus/MKM, 2007)

Adding remote computational capabilities to Dynamic Geometry Systems. - Jesús Escribano; Francisco Botana; Miguel A. Abánades (Math. Comput. Simul., 2010)

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

On the Parametric Representation of Dynamic Geometry Constructions. - Francisco Botana (ICCSA (4), 2011)

A Symbolic Companion for Interactive Geometric Systems. - Francisco Botana (Calculemus/MKM, 2011)

Exact internet accessible computation of paths of points in planar linkages and diagrams. - Francisco Botana; Miguel A. Abánades; Jesús Escribano (Comput. Appl. Eng. Educ., 2011)

Automatic Deduction in Dynamic Geometry using Sage - Francisco Botana; Miguel A. Abánades (ThEdu, 2011)

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 (MKM/Calculemus/DML, 2013)

Software Using the Gröbner Cover for Geometrical Loci Computation and Classification. - Miguel A. Abánades; Francisco Botana; Antonio Montes; Tomás Recio (ICMS, 2014)

Using Maple's RegularChains Library to Automatically Classify Plane Geometric Loci. - Francisco Botana; Tomás Recio (ICMS, 2014)

An algebraic taxonomy for locus computation in dynamic geometry. - Miguel A. Abánades; Francisco Botana; Antonio Montes; Tomás Recio (Comput. Aided Des., 2014)

Using a free open source software to teach mathematics. - Francisco Botana; Miguel A. Abánades; Jesús Escribano (Comput. Appl. Eng. Educ., 2014)

Automatic deduction in (dynamic) geometry: Loci computation. - Francisco Botana; Miguel A. Abánades (Comput. Geom., 2014)

A parametric approach to 3D dynamic geometry. - Francisco Botana (Math. Comput. Simul., 2014)

Automated Generation of Equations for Linkage Loci in a Game Physics System. - Miguel A. Abánades; Francisco Botana; Jesús Escribano (Technol. Knowl. Learn., 2014)

A Singular web service for geometric computations. - Francisco Botana; Zoltán Kovács (Ann. Math. Artif. Intell., 2015)

Automated Theorem Proving in GeoGebra: Current Achievements. - Francisco Botana; Markus Hohenwarter; Predrag Janicic; Zoltán Kovács; Ivan Petrovic; Tomás Recio; Simon Weitzhofer (J. Autom. Reason., 2015)

Towards the Automatic Discovery of Theorems in GeoGebra. - Miguel A. Abánades; Francisco Botana; Zoltán Kovács; Tomás Recio; Csilla Sólyom-Gecse (ICMS, 2016)

Development of automatic reasoning tools in GeoGebra. - Miguel A. Abánades; Francisco Botana; Zoltán Kovács; Tomás Recio; Csilla Sólyom-Gecse (ACM Commun. Comput. Algebra, 2016)

New tools in GeoGebra offering novel opportunities to teach loci and envelopes. - Francisco Botana; Zoltán Kovács (CoRR, 2016)

Foreword to the special issue on "Nonstandard Applications of Computer Algebra (ACA'2013)". - Francisco Botana; Antonio Hernando; Eugenio Roanes-Lozano; Michael J. Wester (Math. Comput. Simul., 2016)

Some issues on the automatic computation of plane envelopes in interactive environments. - Francisco Botana; Tomás Recio (Math. Comput. Simul., 2016)

On the Unavoidable Uncertainty of Truth in Dynamic Geometry Proving. - Francisco Botana; Tomás Recio (Math. Comput. Sci., 2016)

Computing envelopes in dynamic geometry environments. - Francisco Botana; Tomás Recio (Ann. Math. Artif. Intell., 2017)

Towards an Automated Geometer. - Francisco Botana; Zoltán Kovács; Tomás Recio (AISC, 2018)

A Proposal for the Automatic Computation of Envelopes of Families of Plane Curves. - Francisco Botana; Tomás Recio (J. Syst. Sci. Complex., 2019)

Special issue on dynamic geometry and automated reasoning. - Francisco Botana; Zoltán Kovács; Tomás Recio (J. Symb. Comput., 2020)

Foreword. - Anna Maria Bigatti; Francisco Botana; Thierry N. Dana-Picard; Felipe Gago; Ilias S. Kotsireas; Manuel Ladra; Wei Li (Math. Comput. Sci., 2020)

A Mechanical Geometer. - Francisco Botana; Zoltán Kovács; Tomás Recio (Math. Comput. Sci., 2021)

Geometric Loci and ChatGPT: Caveat Emptor! - Francisco Botana; Tomás Recio (Comput., 2024)

On Using GeoGebra and ChatGPT for Geometric Discovery. - Francisco Botana; Tomás Recio; M. Pilar Vélez (Comput., 2024)