Francisco Botana

Available identifiers

zbMath Open botana.franciscoMaRDI QIDQ286773

List of research outcomes

Publication	Date of Publication	Type
Towards an Automated Geometer	2023-06-30	Paper
A mechanical geometer	2022-01-28	Paper
Foreword to the special issue on ``Nonstandard applications of computer algebra (ACA'2013)	2021-02-19	Paper
Some issues on the automatic computation of plane envelopes in interactive environments	2021-02-19	Paper
A parametric approach to 3D dynamic geometry	2021-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q5133355	2020-11-12	Paper
A proposal for the automatic computation of envelopes of families of plane curves	2019-03-06	Paper
Computing envelopes in dynamic geometry environments	2017-08-15	Paper
Development of automatic reasoning tools in GeoGebra	2017-06-22	Paper
Towards the Automatic Discovery of Theorems in GeoGebra	2016-09-28	Paper
On the unavoidable uncertainty of truth in dynamic geometry proving	2016-06-16	Paper
Automated theorem proving in GeoGebra: current achievements	2016-05-26	Paper
A Singular web service for geometric computations	2015-07-27	Paper
Software Using the Gröbner Cover for Geometrical Loci Computation and Classification	2014-09-08	Paper
Using Maple’s RegularChains Library to Automatically Classify Plane Geometric Loci	2014-09-08	Paper
Automatic deduction in (dynamic) geometry: Loci computation	2014-01-08	Paper
A Dynamic Symbolic Geometry Environment Based on the GröbnerCover Algorithm for the Computation of Geometric Loci and Envelopes	2013-08-09	Paper
Computing bisectors in a dynamic geometry environment	2013-05-16	Paper
A Symbolic Companion for Interactive Geometric Systems	2011-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q3580112	2010-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q3580135	2010-08-11	Paper
Automated Discovery in Elementary Extrema Problems	2008-12-09	Paper
First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems	2007-11-28	Paper
Computational Science and Its Applications – ICCSA 2004	2007-09-25	Paper
Automated Deduction in Geometry	2006-10-20	Paper
Automatic determination of envelopes and other derived curves within a graphic environment	2004-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q4737737	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4434825	2003-11-26	Paper
https://portal.mardi4nfdi.de/entity/Q4434833	2003-11-26	Paper
A software tool for the investigation of plane loci	2003-03-09	Paper
https://portal.mardi4nfdi.de/entity/Q2775974	2002-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q2760193	2001-12-18	Paper
https://portal.mardi4nfdi.de/entity/Q2753828	2001-12-04	Paper

Research outcomes over time

This page was built for person: Francisco Botana