 | 2007 |
|---|
| 17 |       | 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 |
| 16 |  | 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 |
| 15 | | 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 |
|---|
| 14 | | Francisco Botana,
José L. Valcarce:
Automated Discovery in Elementary Extrema Problems.
International Conference on Computational Science (2) 2006: 470-477 |
| 2004 |
|---|
| 13 | | Francisco Botana,
Tomás Recio:
Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach.
Automated Deduction in Geometry 2004: 92-110 |
| 12 | | Tomás Recio,
Francisco Botana:
Where the Truth Lies (in Automatic Theorem Proving in Elementary Geometry).
ICCSA (2) 2004: 761-770 |
| 11 | | 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 |
|---|
| 10 | | Francisco Botana:
A Web-Based Intelligent System for Geometric Discovery.
International Conference on Computational Science 2003: 801-810 |
| 9 | | Francisco Botana:
Automatic Determination of Algebraic Surfaces as Loci of Points.
International Conference on Computational Science 2003: 879-886 |
| 8 | | 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 |
|---|
| 7 | | Francisco Botana:
Interactive versus Symbolic Approaches to Plane Loci Generation in Dynamic Geometry Environments.
International Conference on Computational Science (2) 2002: 211-218 |
| 6 | | Francisco Botana,
José L. Valcarce:
A dynamic-symbolic interface for geometric theorem discovery.
Computers & Education 38(1-3): 21-35 (2002) |
| 2000 |
|---|
| 5 | | 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 | | Francisco Botana,
Antonio Bahamonde:
SHAPE: a machine learning system from examples.
Int. J. Hum.-Comput. Stud. 42(2): 137-155 (1995) |
