Francisco Botana - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 45 from 45

2024

Geometric Loci and ChatGPT: Caveat Emptor!Francisco Botana, Tomás Recio. computation, 12(2):30, February 2024. [doi]

2021

A Mechanical GeometerFrancisco Botana, Zoltán Kovács, Tomás Recio. mics, 15(4):631-641, 2021. [doi]

2020

ForewordAnna Maria Bigatti, Francisco Botana, Thierry N. Dana-Picard, Felipe Gago, Ilias S. Kotsireas, Manuel Ladra, Wei Li. mics, 14(2):191-192, 2020. [doi]

Special issue on dynamic geometry and automated reasoningFrancisco Botana, Zoltán Kovács, Tomás Recio. JSC, 97:1-2, 2020. [doi]

2019

A Proposal for the Automatic Computation of Envelopes of Families of Plane CurvesFrancisco Botana, Tomás Recio. jossac, 32(1):150-157, 2019. [doi]

2018

Towards an Automated GeometerFrancisco Botana, Zoltán Kovács, Tomás Recio. AISC 2018: 215-220 [doi]

2017

Computing envelopes in dynamic geometry environmentsFrancisco Botana, Tomás Recio. AMAI, 80(1):3-20, 2017. [doi]

2016

2015

Automated Theorem Proving in GeoGebra: Current AchievementsFrancisco Botana, Markus Hohenwarter, Predrag Janicic, Zoltán Kovács, Ivan Petrovic, Tomás Recio, Simon Weitzhofer. JAR, 55(1):39-59, 2015. [doi]

A Singular web service for geometric computationsFrancisco Botana, Zoltán Kovács. AMAI, 74(3-4):359-370, 2015. [doi]

2014

An algebraic taxonomy for locus computation in dynamic geometryMiguel A. Abánades, Francisco Botana, Antonio Montes, Tomás Recio. cad, 56:22-33, 2014. [doi]

Automated Generation of Equations for Linkage Loci in a Game Physics SystemMiguel A. Abánades, Francisco Botana, Jesús Escribano. tkl, 19(3):317-326, 2014. [doi]

Software Using the Gröbner Cover for Geometrical Loci Computation and ClassificationMiguel A. Abánades, Francisco Botana, Antonio Montes, Tomás Recio. icms 2014: 492-499 [doi]

Using a free open source software to teach mathematicsFrancisco Botana, Miguel A. Abánades, Jesús Escribano. caee, 22(4):728-735, 2014. [doi]

A parametric approach to 3D dynamic geometryFrancisco Botana. mcs, 104:3-20, 2014. [doi]

Automatic deduction in (dynamic) geometry: Loci computationFrancisco Botana, Miguel A. Abánades. comgeo, 47(1):75-89, 2014. [doi]

Using Maple's RegularChains Library to Automatically Classify Plane Geometric LociFrancisco Botana, Tomás Recio. icms 2014: 500-503 [doi]

2013

A Dynamic Symbolic Geometry Environment Based on the GröbnerCover Algorithm for the Computation of Geometric Loci and EnvelopesMiguel A. Abánades, Francisco Botana. mkm 2013: 349-353 [doi]

2011

2010

Adding remote computational capabilities to Dynamic Geometry SystemsJesús Escribano, Francisco Botana, Miguel A. Abánades. mcs, 80(6):1177-1184, 2010. [doi]

2007

First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry SystemsMiguel A. Abánades, Jesús Escribano, Francisco Botana. AISC 2007: 131-145 [doi]

Computing Locus Equations for Standard Dynamic Geometry EnvironmentsFrancisco Botana, Miguel A. Abánades, Jesús Escribano. iccS 2007: 227-234 [doi]

2006

Automated Discovery in Elementary Extrema ProblemsFrancisco Botana, José L. Valcarce. iccS 2006: 470-477 [doi]

2004

Automatic determination of envelopes and other derived curves within a graphic environmentFrancisco Botana, José L. Valcarce. mcs, 67(1-2):3-13, 2004. [doi]

Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic ApproachFrancisco Botana, Tomás Recio. adg 2006: 92-110 [doi]

Where the Truth Lies (in Automatic Theorem Proving in Elementary Geometry)Tomás Recio, Francisco Botana. iccsa 2004: 761-770 [doi]

2003

A software tool for the investigation of plane lociFrancisco Botana, José L. Valcarce. mcs, 61(2):139-152, 2003. [doi]

A Web-based Resource for Automatic Discovery in Plane GeometryFrancisco Botana. tkl, 8(1):109-121, 2003. [doi]

A Web-Based Intelligent System for Geometric DiscoveryFrancisco Botana. iccS 2003: 801-810 [doi]

Automatic Determination of Algebraic Surfaces as Loci of PointsFrancisco Botana. iccS 2003: 879-886 [doi]

2002

A dynamic-symbolic interface for geometric theorem discoveryFrancisco Botana, JosÃ© L. Valcarce. ce, 38(1-3):21-35, 2002. [doi]

Interactive versus Symbolic Approaches to Plane Loci Generation in Dynamic Geometry EnvironmentsFrancisco Botana. iccS 2002: 211-218 [doi]

2001

Cooperation between a Dynamic Geometry Environment and a Computer Algebra System for Geometric DiscoveryFrancisco Botana, José L. Valcarce. casc 2001: 63-74 [doi]

2000

Construction of Efficient Rulesets from Fuzzy Data through Simulated AnnealingFrancisco Botana. aimsa 2000: 283-291 [doi]

1999

A Fuzzy Measure of Similarity for Instance-Based LearningFrancisco Botana. ismis 1999: 439-447

Learning Efficient Rulsets from Fuzzy Data with a Generic AlgorithmFrancisco Botana. iwann 1999: 517-526

1998

Deriving Fuzzy Subsethood Measures from Violations of the Implication between ElementsFrancisco Botana. ieaaie 1998: 234-243

1995

SHAPE: a machine learning system from examplesFrancisco Botana, Antonio Bahamonde. ijmms, 42(2):137-155, 1995. [doi]

Sign in or sign up to see more results.

runs on WebDSL