Francisco Botana

Comput., February, 2024

2021

A Mechanical Geometer.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2021

2020

Foreword.

[BibT_eX]

[DOI]

Anna Maria Bigatti

Thierry N. Dana-Picard

Math. Comput. Sci., 2020

Special issue on dynamic geometry and automated reasoning.

[BibT_eX]

[DOI]

J. Symb. Comput., 2020

2019

A Proposal for the Automatic Computation of Envelopes of Families of Plane Curves.

[BibT_eX]

[DOI]

J. Syst. Sci. Complex., 2019

2018

Towards an Automated Geometer.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Symbolic Computation, 2018

2017

Computing envelopes in dynamic geometry environments.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2017

2016

On the Unavoidable Uncertainty of Truth in Dynamic Geometry Proving.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2016

Some issues on the automatic computation of plane envelopes in interactive environments.

[BibT_eX]

[DOI]

Math. Comput. Simul., 2016

Foreword to the special issue on "Nonstandard Applications of Computer Algebra (ACA'2013)".

[BibT_eX]

[DOI]

Antonio Hernando

Eugenio Roanes-Lozano

Michael J. Wester

Math. Comput. Simul., 2016

New tools in GeoGebra offering novel opportunities to teach loci and envelopes.

[BibT_eX]

[DOI]

CoRR, 2016

Development of automatic reasoning tools in GeoGebra.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2016

Towards the Automatic Discovery of Theorems in GeoGebra.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Software - ICMS 2016, 2016

2015

Automated Theorem Proving in GeoGebra: Current Achievements.

[BibT_eX]

[DOI]

J. Autom. Reason., 2015

A Singular web service for geometric computations.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2015

2014

Automated Generation of Equations for Linkage Loci in a Game Physics System.

[BibT_eX]

[DOI]

Technol. Knowl. Learn., 2014

A parametric approach to 3D dynamic geometry.

[BibT_eX]

[DOI]

Math. Comput. Simul., 2014

Automatic deduction in (dynamic) geometry: Loci computation.

[BibT_eX]

[DOI]

Comput. Geom., 2014

Using a free open source software to teach mathematics.

[BibT_eX]

[DOI]

Comput. Appl. Eng. Educ., 2014

An algebraic taxonomy for locus computation in dynamic geometry.

[BibT_eX]

[DOI]

Comput. Aided Des., 2014

Using Maple's RegularChains Library to Automatically Classify Plane Geometric Loci.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Software - ICMS 2014, 2014

Software Using the Gröbner Cover for Geometrical Loci Computation and Classification.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Software - ICMS 2014, 2014

2013

A Dynamic Symbolic Geometry Environment Based on the GröbnerCover Algorithm for the Computation of Geometric Loci and Envelopes.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 2013

2011

Automatic Deduction in Dynamic Geometry using Sage

[BibT_eX]

[DOI]

Proceedings of the Proceedings First Workshop on CTP Components for Educational Software, 2011

Exact internet accessible computation of paths of points in planar linkages and diagrams.

[BibT_eX]

[DOI]

Comput. Appl. Eng. Educ., 2011

A Symbolic Companion for Interactive Geometric Systems.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

On the Parametric Representation of Dynamic Geometry Constructions.

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications - ICCSA 2011, 2011

Using Free Open Source Software for Intelligent Geometric Computing.

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications - ICCSA 2011, 2011

2010

Adding remote computational capabilities to Dynamic Geometry Systems.

[BibT_eX]

[DOI]

Math. Comput. Simul., 2010

2007

First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems.

[BibT_eX]

[DOI]

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

Computing Locus Equations for Standard Dynamic Geometry Environments.

[BibT_eX]

[DOI]

Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007

2006

Automated Discovery in Elementary Extrema Problems.

[BibT_eX]

[DOI]

Proceedings of the Computational Science, 2006

2004

Automatic determination of envelopes and other derived curves within a graphic environment.

[BibT_eX]

[DOI]

Math. Comput. Simul., 2004

Where the Truth Lies (in Automatic Theorem Proving in Elementary Geometry).

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications, 2004

Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction in Geometry, 5th International Workshop, 2004

2003

A Web-based Resource for Automatic Discovery in Plane Geometry.

[BibT_eX]

[DOI]

Int. J. Comput. Math. Learn., 2003

A software tool for the investigation of plane loci.

[BibT_eX]

[DOI]

Math. Comput. Simul., 2003

Automatic Determination of Algebraic Surfaces as Loci of Points.

[BibT_eX]

[DOI]

Proceedings of the Computational Science - ICCS 2003, 2003

A Web-Based Intelligent System for Geometric Discovery.

[BibT_eX]

[DOI]

Proceedings of the Computational Science - ICCS 2003, 2003

2002

A dynamic-symbolic interface for geometric theorem discovery.

[BibT_eX]

[DOI]

Comput. Educ., 2002

Interactive versus Symbolic Approaches to Plane Loci Generation in Dynamic Geometry Environments.

[BibT_eX]

[DOI]

Proceedings of the Computational Science - ICCS 2002, 2002

2001

Cooperation between a Dynamic Geometry Environment and a Computer Algebra System for Geometric Discovery.

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra in Scientific Computing, 2001

2000

Construction of Efficient Rulesets from Fuzzy Data through Simulated Annealing.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: Methodology, 2000

1999

Learning Efficient Rulsets from Fuzzy Data with a Generic Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Foundations and Tools for Neural Modeling, 1999

A Fuzzy Measure of Similarity for Instance-Based Learning.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 11th International Symposium, 1999

1998

Deriving Fuzzy Subsethood Measures from Violations of the Implication between Elements.

[BibT_eX]

[DOI]

Proceedings of the Methodology and Tools in Knowledge-Based Systems, 1998

1995

SHAPE: a machine learning system from examples.

[BibT_eX]

[DOI]