Search the dblp DataBase

Publications of Author

1. Francisco Botana, Tomás Recio
   Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 2004, pp:92-110 [Conf]
   
2. Francisco Botana
   Construction of Efficient Rulesets from Fuzzy Data through Simulated Annealing. [Citation Graph (0, 0)][DBLP]
   AIMSA, 2000, pp:283-291 [Conf]
   
3. Francisco Botana
   Interactive versus Symbolic Approaches to Plane Loci Generation in Dynamic Geometry Environments. [Citation Graph (0, 0)][DBLP]
   International Conference on Computational Science (2), 2002, pp:211-218 [Conf]
   
4. Francisco Botana
   A Web-Based Intelligent System for Geometric Discovery. [Citation Graph (0, 0)][DBLP]
   International Conference on Computational Science, 2003, pp:801-810 [Conf]
   
5. Francisco Botana
   Automatic Determination of Algebraic Surfaces as Loci of Points. [Citation Graph (0, 0)][DBLP]
   International Conference on Computational Science, 2003, pp:879-886 [Conf]
   
6. Francisco Botana, José L. Valcarce
   Automated Discovery in Elementary Extrema Problems. [Citation Graph (0, 0)][DBLP]
   International Conference on Computational Science (2), 2006, pp:470-477 [Conf]
   
7. Tomás Recio, Francisco Botana
   Where the Truth Lies (in Automatic Theorem Proving in Elementary Geometry). [Citation Graph (0, 0)][DBLP]
   ICCSA (2), 2004, pp:761-770 [Conf]
   
8. Francisco Botana
   Deriving Fuzzy Subsethood Measures from Violations of the Implication between Elements. [Citation Graph (0, 0)][DBLP]
   IEA/AIE (Vol. 1), 1998, pp:234-243 [Conf]
   
9. Francisco Botana
   A Fuzzy Measure of Similarity for Instance-Based Learning. [Citation Graph (0, 0)][DBLP]
   ISMIS, 1999, pp:439-447 [Conf]
   
10. Francisco Botana
    Learning Efficient Rulsets from Fuzzy Data with a Generic Algorithm. [Citation Graph (0, 0)][DBLP]
    IWANN (1), 1999, pp:517-526 [Conf]
    
11. Francisco Botana, Antonio Bahamonde
    SHAPE: a machine learning system from examples. [Citation Graph (0, 0)][DBLP]
    Int. J. Hum.-Comput. Stud., 1995, v:42, n:2, pp:137-155 [Journal]
    
12. Francisco Botana, José L. Valcarce
    A software tool for the investigation of plane loci. [Citation Graph (0, 0)][DBLP]
    Mathematics and Computers in Simulation, 2003, v:61, n:2, pp:139-152 [Journal]
    
13. Francisco Botana, José L. Valcarce
    Automatic determination of envelopes and other derived curves within a graphic environment. [Citation Graph (0, 0)][DBLP]
    Mathematics and Computers in Simulation, 2004, v:67, n:1-2, pp:3-13 [Journal]
    
14. Francisco Botana, Miguel A. Abánades, Jesús Escribano
    Computing Locus Equations for Standard Dynamic Geometry Environments. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science (2), 2007, pp:227-234 [Conf]
    
15. Miguel A. Abánades, Jesús Escribano, Francisco Botana
    First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems. [Citation Graph (0, 0)][DBLP]
    Calculemus/MKM, 2007, pp:131-145 [Conf]