Francisco Botana

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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
15EEMiguel 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
14EEFrancisco 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
13EEFrancisco Botana, José L. Valcarce: Automated Discovery in Elementary Extrema Problems. International Conference on Computational Science (2) 2006: 470-477
12EEFrancisco Botana, Tomás Recio: Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach. Automated Deduction in Geometry 2004: 92-110
11EETomás Recio, Francisco Botana: Where the Truth Lies (in Automatic Theorem Proving in Elementary Geometry). ICCSA (2) 2004: 761-770
10EEFrancisco 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)
9EEFrancisco Botana: A Web-Based Intelligent System for Geometric Discovery. International Conference on Computational Science 2003: 801-810
8EEFrancisco Botana: Automatic Determination of Algebraic Surfaces as Loci of Points. International Conference on Computational Science 2003: 879-886
7EEFrancisco Botana, José L. Valcarce: A software tool for the investigation of plane loci. Mathematics and Computers in Simulation 61(2): 139-152 (2003)
6EEFrancisco Botana: Interactive versus Symbolic Approaches to Plane Loci Generation in Dynamic Geometry Environments. International Conference on Computational Science (2) 2002: 211-218
5EEFrancisco Botana: Construction of Efficient Rulesets from Fuzzy Data through Simulated Annealing. AIMSA 2000: 283-291
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
2 Francisco Botana: Deriving Fuzzy Subsethood Measures from Violations of the Implication between Elements. IEA/AIE (Vol. 1) 1998: 234-243
1EEFrancisco Botana, Antonio Bahamonde: SHAPE: a machine learning system from examples. Int. J. Hum.-Comput. Stud. 42(2): 137-155 (1995)

Coauthor Index

1Miguel A. Abánades [14] [15]
2Antonio Bahamonde [1]
3Jesús Escribano [14] [15]
4Tomás Recio [11] [12] [16]
5José L. Valcarce [7] [10] [13]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)