default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFrancisco Botana
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j25]Francisco Botana, Tomás Recio
:
Geometric Loci and ChatGPT: Caveat Emptor! Comput. 12(2): 30 (2024)- [j24]Francisco Botana, Tomás Recio, M. Pilar Vélez:
On Using GeoGebra and ChatGPT for Geometric Discovery. Comput. 13(8): 187 (2024) - 2021
- [j23]Francisco Botana, Zoltán Kovács, Tomás Recio:
A Mechanical Geometer. Math. Comput. Sci. 15(4): 631-641 (2021) - 2020
- [j22]Francisco Botana, Zoltán Kovács, Tomás Recio:
Special issue on dynamic geometry and automated reasoning. J. Symb. Comput. 97: 1-2 (2020) - [j21]Anna Maria Bigatti, Francisco Botana, Thierry N. Dana-Picard, Felipe Gago, Ilias S. Kotsireas, Manuel Ladra, Wei Li:
Foreword. Math. Comput. Sci. 14(2): 191-192 (2020)
2010 – 2019
- 2019
- [j20]Francisco Botana, Tomás Recio:
A Proposal for the Automatic Computation of Envelopes of Families of Plane Curves. J. Syst. Sci. Complex. 32(1): 150-157 (2019) - 2018
- [c22]Francisco Botana, Zoltán Kovács, Tomás Recio:
Towards an Automated Geometer. AISC 2018: 215-220 - 2017
- [j19]Francisco Botana, Tomás Recio:
Computing envelopes in dynamic geometry environments. Ann. Math. Artif. Intell. 80(1): 3-20 (2017) - 2016
- [j18]Miguel A. Abánades, Francisco Botana, Zoltán Kovács, Tomás Recio, Csilla Sólyom-Gecse:
Development of automatic reasoning tools in GeoGebra. ACM Commun. Comput. Algebra 50(3): 85-88 (2016) - [j17]Francisco Botana, Antonio Hernando, Eugenio Roanes-Lozano, Michael J. Wester:
Foreword to the special issue on "Nonstandard Applications of Computer Algebra (ACA'2013)". Math. Comput. Simul. 125: 113-114 (2016) - [j16]Francisco Botana, Tomás Recio:
Some issues on the automatic computation of plane envelopes in interactive environments. Math. Comput. Simul. 125: 115-125 (2016) - [j15]Francisco Botana, Tomás Recio:
On the Unavoidable Uncertainty of Truth in Dynamic Geometry Proving. Math. Comput. Sci. 10(1): 5-25 (2016) - [c21]Miguel A. Abánades, Francisco Botana, Zoltán Kovács, Tomás Recio, Csilla Sólyom-Gecse:
Towards the Automatic Discovery of Theorems in GeoGebra. ICMS 2016: 37-42 - [i1]Francisco Botana, Zoltán Kovács:
New tools in GeoGebra offering novel opportunities to teach loci and envelopes. CoRR abs/1605.09153 (2016) - 2015
- [j14]Francisco Botana, Zoltán Kovács:
A Singular web service for geometric computations. Ann. Math. Artif. Intell. 74(3-4): 359-370 (2015) - [j13]Francisco Botana, Markus Hohenwarter, Predrag Janicic, Zoltán Kovács, Ivan Petrovic, Tomás Recio, Simon Weitzhofer:
Automated Theorem Proving in GeoGebra: Current Achievements. J. Autom. Reason. 55(1): 39-59 (2015) - [e2]Francisco Botana, Pedro Quaresma:
Automated Deduction in Geometry - 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers. Lecture Notes in Computer Science 9201, Springer 2015, ISBN 978-3-319-21361-3 [contents] - 2014
- [j12]Miguel A. Abánades, Francisco Botana, Antonio Montes, Tomás Recio:
An algebraic taxonomy for locus computation in dynamic geometry. Comput. Aided Des. 56: 22-33 (2014) - [j11]Francisco Botana, Miguel A. Abánades, Jesús Escribano:
Using a free open source software to teach mathematics. Comput. Appl. Eng. Educ. 22(4): 728-735 (2014) - [j10]Francisco Botana, Miguel A. Abánades:
Automatic deduction in (dynamic) geometry: Loci computation. Comput. Geom. 47(1): 75-89 (2014) - [j9]Francisco Botana:
A parametric approach to 3D dynamic geometry. Math. Comput. Simul. 104: 3-20 (2014) - [j8]Miguel A. Abánades, Francisco Botana, Jesús Escribano:
Automated Generation of Equations for Linkage Loci in a Game Physics System. Technol. Knowl. Learn. 19(3): 317-326 (2014) - [c20]Miguel A. Abánades, Francisco Botana, Antonio Montes, Tomás Recio:
Software Using the Gröbner Cover for Geometrical Loci Computation and Classification. ICMS 2014: 492-499 - [c19]Francisco Botana, Tomás Recio:
Using Maple's RegularChains Library to Automatically Classify Plane Geometric Loci. ICMS 2014: 500-503 - 2013
- [c18]Miguel A. Abánades, Francisco Botana:
A Dynamic Symbolic Geometry Environment Based on the GröbnerCover Algorithm for the Computation of Geometric Loci and Envelopes. MKM/Calculemus/DML 2013: 349-353 - 2011
- [j7]Francisco Botana, Miguel A. Abánades, Jesús Escribano:
Exact internet accessible computation of paths of points in planar linkages and diagrams. Comput. Appl. Eng. Educ. 19(4): 835-841 (2011) - [c17]Francisco Botana:
On the Parametric Representation of Dynamic Geometry Constructions. ICCSA (4) 2011: 342-352 - [c16]Miguel A. Abánades, Francisco Botana, Jesús Escribano, José L. Valcarce:
Using Free Open Source Software for Intelligent Geometric Computing. ICCSA (4) 2011: 353-367 - [c15]Francisco Botana:
A Symbolic Companion for Interactive Geometric Systems. Calculemus/MKM 2011: 285-286 - [c14]Francisco Botana, Miguel A. Abánades:
Automatic Deduction in Dynamic Geometry using Sage. ThEdu 2011: 49-62 - 2010
- [j6]Jesús Escribano, Francisco Botana, Miguel A. Abánades:
Adding remote computational capabilities to Dynamic Geometry Systems. Math. Comput. Simul. 80(6): 1177-1184 (2010)
2000 – 2009
- 2007
- [c13]Francisco Botana, Miguel A. Abánades, Jesús Escribano:
Computing Locus Equations for Standard Dynamic Geometry Environments. International Conference on Computational Science (2) 2007: 227-234 - [c12]Miguel A. Abánades, Jesús Escribano, Francisco Botana:
First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems. Calculemus/MKM 2007: 131-145 - [e1]Francisco Botana, Tomás Recio:
Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers. Lecture Notes in Computer Science 4869, Springer 2007, ISBN 978-3-540-77355-9 [contents] - 2006
- [c11]Francisco Botana, José L. Valcarce:
Automated Discovery in Elementary Extrema Problems. International Conference on Computational Science (2) 2006: 470-477 - 2004
- [j5]Francisco Botana, José L. Valcarce:
Automatic determination of envelopes and other derived curves within a graphic environment. Math. Comput. Simul. 67(1-2): 3-13 (2004) - [c10]Francisco Botana, Tomás Recio:
Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach. Automated Deduction in Geometry 2004: 92-110 - [c9]Tomás Recio, Francisco Botana:
Where the Truth Lies (in Automatic Theorem Proving in Elementary Geometry). ICCSA (2) 2004: 761-770 - 2003
- [j4]Francisco Botana, José L. Valcarce:
A software tool for the investigation of plane loci. Math. Comput. Simul. 61(2): 139-152 (2003) - [j3]Francisco Botana:
A Web-based Resource for Automatic Discovery in Plane Geometry. Int. J. Comput. Math. Learn. 8(1): 109-121 (2003) - [c8]Francisco Botana:
A Web-Based Intelligent System for Geometric Discovery. International Conference on Computational Science 2003: 801-810 - [c7]Francisco Botana:
Automatic Determination of Algebraic Surfaces as Loci of Points. International Conference on Computational Science 2003: 879-886 - 2002
- [j2]Francisco Botana, José L. Valcarce:
A dynamic-symbolic interface for geometric theorem discovery. Comput. Educ. 38(1-3): 21-35 (2002) - [c6]Francisco Botana:
Interactive versus Symbolic Approaches to Plane Loci Generation in Dynamic Geometry Environments. International Conference on Computational Science (2) 2002: 211-218 - 2001
- [c5]Francisco Botana, José L. Valcarce:
Cooperation between a Dynamic Geometry Environment and a Computer Algebra System for Geometric Discovery. CASC 2001: 63-74 - 2000
- [c4]Francisco Botana:
Construction of Efficient Rulesets from Fuzzy Data through Simulated Annealing. AIMSA 2000: 283-291
1990 – 1999
- 1999
- [c3]Francisco Botana:
A Fuzzy Measure of Similarity for Instance-Based Learning. ISMIS 1999: 439-447 - [c2]Francisco Botana:
Learning Efficient Rulsets from Fuzzy Data with a Generic Algorithm. IWANN (1) 1999: 517-526 - 1998
- [c1]Francisco Botana:
Deriving Fuzzy Subsethood Measures from Violations of the Implication between Elements. IEA/AIE (Vol. 1) 1998: 234-243 - 1995
- [j1]Francisco Botana, Antonio Bahamonde:
SHAPE: a machine learning system from examples. Int. J. Hum. Comput. Stud. 42(2): 137-155 (1995)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
