2007 |
16 | | Francisco Botana,
Tomás Recio:
Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers
Springer 2007 |
15 | EE | 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 |
14 | EE | 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 |
2006 |
13 | EE | Francisco Botana,
José L. Valcarce:
Automated Discovery in Elementary Extrema Problems.
International Conference on Computational Science (2) 2006: 470-477 |
2004 |
12 | EE | Francisco Botana,
Tomás Recio:
Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach.
Automated Deduction in Geometry 2004: 92-110 |
11 | EE | Tomás Recio,
Francisco Botana:
Where the Truth Lies (in Automatic Theorem Proving in Elementary Geometry).
ICCSA (2) 2004: 761-770 |
10 | EE | Francisco Botana,
José L. Valcarce:
Automatic determination of envelopes and other derived curves within a graphic environment.
Mathematics and Computers in Simulation 67(1-2): 3-13 (2004) |
2003 |
9 | EE | Francisco Botana:
A Web-Based Intelligent System for Geometric Discovery.
International Conference on Computational Science 2003: 801-810 |
8 | EE | Francisco Botana:
Automatic Determination of Algebraic Surfaces as Loci of Points.
International Conference on Computational Science 2003: 879-886 |
7 | EE | Francisco Botana,
José L. Valcarce:
A software tool for the investigation of plane loci.
Mathematics and Computers in Simulation 61(2): 139-152 (2003) |
2002 |
6 | EE | Francisco Botana:
Interactive versus Symbolic Approaches to Plane Loci Generation in Dynamic Geometry Environments.
International Conference on Computational Science (2) 2002: 211-218 |
2000 |
5 | EE | Francisco Botana:
Construction of Efficient Rulesets from Fuzzy Data through Simulated Annealing.
AIMSA 2000: 283-291 |
1999 |
4 | | Francisco Botana:
A Fuzzy Measure of Similarity for Instance-Based Learning.
ISMIS 1999: 439-447 |
3 | | Francisco Botana:
Learning Efficient Rulsets from Fuzzy Data with a Generic Algorithm.
IWANN (1) 1999: 517-526 |
1998 |
2 | | Francisco Botana:
Deriving Fuzzy Subsethood Measures from Violations of the Implication between Elements.
IEA/AIE (Vol. 1) 1998: 234-243 |
1995 |
1 | EE | Francisco Botana,
Antonio Bahamonde:
SHAPE: a machine learning system from examples.
Int. J. Hum.-Comput. Stud. 42(2): 137-155 (1995) |