Francisco Botana

50 papers B 1C 1Misc 7Journal 26Unranked 13

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Geometric Loci and ChatGPT: Caveat Emptor! Comput. Francisco Botana, Tomás Recio
2024	J	`jnl`	On Using GeoGebra and ChatGPT for Geometric Discovery. Comput. Francisco Botana, Tomás Recio, M. Pilar Vélez
2021	J	`jnl`	A Mechanical Geometer. Math. Comput. Sci. Francisco Botana, Zoltán Kovács, Tomás Recio
2020	J	`jnl`	Foreword. Math. Comput. Sci. Anna Maria Bigatti, Francisco Botana, Thierry N. Dana-Picard, Felipe Gago, Ilias S. Kotsireas, Manuel Ladra, Wei Li
2020	J	`jnl`	Special issue on dynamic geometry and automated reasoning. J. Symb. Comput. Francisco Botana, Zoltán Kovács, Tomás Recio
2019	J	`jnl`	A Proposal for the Automatic Computation of Envelopes of Families of Plane Curves. J. Syst. Sci. Complex. Francisco Botana, Tomás Recio
2018	Misc	`conf`	Towards an Automated Geometer. AISC Francisco Botana, Zoltán Kovács, Tomás Recio
2017	J	`jnl`	Computing envelopes in dynamic geometry environments. Ann. Math. Artif. Intell. Francisco Botana, Tomás Recio
2016	J	`jnl`	Development of automatic reasoning tools in GeoGebra. ACM Commun. Comput. Algebra Miguel A. Abánades, Francisco Botana, Zoltán Kovács, Tomás Recio, Csilla Sólyom-Gecse
2016	J	`jnl`	Foreword to the special issue on "Nonstandard Applications of Computer Algebra (ACA'2013)". Math. Comput. Simul. Francisco Botana, Antonio Hernando, Eugenio Roanes-Lozano, Michael J. Wester
2016	J	`jnl`	New tools in GeoGebra offering novel opportunities to teach loci and envelopes. CoRR Francisco Botana, Zoltán Kovács
2016	J	`jnl`	On the Unavoidable Uncertainty of Truth in Dynamic Geometry Proving. Math. Comput. Sci. Francisco Botana, Tomás Recio
2016	J	`jnl`	Some issues on the automatic computation of plane envelopes in interactive environments. Math. Comput. Simul. Francisco Botana, Tomás Recio
2016	—	`conf`	Towards the Automatic Discovery of Theorems in GeoGebra. ICMS Miguel A. Abánades, Francisco Botana, Zoltán Kovács, Tomás Recio, Csilla Sólyom-Gecse
2015	J	`jnl`	A Singular web service for geometric computations. Ann. Math. Artif. Intell. Francisco Botana, Zoltán Kovács
2015	—	`ed.`	Automated Deduction in Geometry - 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers ADG Francisco Botana, Pedro Quaresma
2015	J	`jnl`	Automated Theorem Proving in GeoGebra: Current Achievements. J. Autom. Reason. Francisco Botana, Markus Hohenwarter, Predrag Janicic, Zoltán Kovács, Ivan Petrovic, Tomás Recio, Simon Weitzhofer
2014	J	`jnl`	A parametric approach to 3D dynamic geometry. Math. Comput. Simul. Francisco Botana
2014	J	`jnl`	An algebraic taxonomy for locus computation in dynamic geometry. Comput. Aided Des. Miguel A. Abánades, Francisco Botana, Antonio Montes, Tomás Recio
2014	J	`jnl`	Automated Generation of Equations for Linkage Loci in a Game Physics System. Technol. Knowl. Learn. Miguel A. Abánades, Francisco Botana, Jesús Escribano
2014	J	`jnl`	Automatic deduction in (dynamic) geometry: Loci computation. Comput. Geom. Francisco Botana, Miguel A. Abánades
2014	—	`conf`	Software Using the Gröbner Cover for Geometrical Loci Computation and Classification. ICMS Miguel A. Abánades, Francisco Botana, Antonio Montes, Tomás Recio
2014	—	`conf`	Using Maple's RegularChains Library to Automatically Classify Plane Geometric Loci. ICMS Francisco Botana, Tomás Recio
2014	J	`jnl`	Using a free open source software to teach mathematics. Comput. Appl. Eng. Educ. Francisco Botana, Miguel A. Abánades, Jesús Escribano
2013	—	`conf`	A Dynamic Symbolic Geometry Environment Based on the GröbnerCover Algorithm for the Computation of Geometric Loci and Envelopes. MKM/Calculemus/DML Miguel A. Abánades, Francisco Botana
2011	—	`conf`	A Symbolic Companion for Interactive Geometric Systems. Calculemus/MKM Francisco Botana
2011	—	`conf`	Automatic Deduction in Dynamic Geometry using Sage ThEdu Francisco Botana, Miguel A. Abánades
2011	J	`jnl`	Exact internet accessible computation of paths of points in planar linkages and diagrams. Comput. Appl. Eng. Educ. Francisco Botana, Miguel A. Abánades, Jesús Escribano
2011	—	`conf`	On the Parametric Representation of Dynamic Geometry Constructions. ICCSA (4) Francisco Botana
2011	—	`conf`	Using Free Open Source Software for Intelligent Geometric Computing. ICCSA (4) Miguel A. Abánades, Francisco Botana, Jesús Escribano, José L. Valcarce
2010	J	`jnl`	Adding remote computational capabilities to Dynamic Geometry Systems. Math. Comput. Simul. Jesús Escribano, Francisco Botana, Miguel A. Abánades
2007	—	`ed.`	Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers Automated Deduction in Geometry Francisco Botana, Tomás Recio
2007	Misc	`conf`	Computing Locus Equations for Standard Dynamic Geometry Environments. International Conference on Computational Science (2) Francisco Botana, Miguel A. Abánades, Jesús Escribano
2007	—	`conf`	First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems. Calculemus/MKM Miguel A. Abánades, Jesús Escribano, Francisco Botana
2006	Misc	`conf`	Automated Discovery in Elementary Extrema Problems. International Conference on Computational Science (2) Francisco Botana, José L. Valcarce
2004	J	`jnl`	Automatic determination of envelopes and other derived curves within a graphic environment. Math. Comput. Simul. Francisco Botana, José L. Valcarce
2004	—	`conf`	Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach. Automated Deduction in Geometry Francisco Botana, Tomás Recio
2004	—	`conf`	Where the Truth Lies (in Automatic Theorem Proving in Elementary Geometry). ICCSA (2) Tomás Recio, Francisco Botana
2003	Misc	`conf`	A Web-Based Intelligent System for Geometric Discovery. International Conference on Computational Science Francisco Botana
2003	J	`jnl`	A Web-based Resource for Automatic Discovery in Plane Geometry. Int. J. Comput. Math. Learn. Francisco Botana
2003	J	`jnl`	A software tool for the investigation of plane loci. Math. Comput. Simul. Francisco Botana, José L. Valcarce
2003	Misc	`conf`	Automatic Determination of Algebraic Surfaces as Loci of Points. International Conference on Computational Science Francisco Botana
2002	J	`jnl`	A dynamic-symbolic interface for geometric theorem discovery. Comput. Educ. Francisco Botana, José L. Valcarce
2002	Misc	`conf`	Interactive versus Symbolic Approaches to Plane Loci Generation in Dynamic Geometry Environments. International Conference on Computational Science (2) Francisco Botana
2001	B	`conf`	Cooperation between a Dynamic Geometry Environment and a Computer Algebra System for Geometric Discovery. CASC Francisco Botana, José L. Valcarce
2000	Misc	`conf`	Construction of Efficient Rulesets from Fuzzy Data through Simulated Annealing. AIMSA Francisco Botana
1999	C	`conf`	A Fuzzy Measure of Similarity for Instance-Based Learning. ISMIS Francisco Botana
1999	—	`conf`	Learning Efficient Rulsets from Fuzzy Data with a Generic Algorithm. IWANN (1) Francisco Botana
1998	—	`conf`	Deriving Fuzzy Subsethood Measures from Violations of the Implication between Elements. IEA/AIE (Vol. 1) Francisco Botana
1995	J	`jnl`	SHAPE: a machine learning system from examples. Int. J. Hum. Comput. Stud. Francisco Botana, Antonio Bahamonde