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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Francisco Botana