The SCEAS System
| |||||||

## Search the dblp DataBase
Francisco Botana:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - Francisco Botana
**Construction of Efficient Rulesets from Fuzzy Data through Simulated Annealing.**[Citation Graph (0, 0)][DBLP] AIMSA, 2000, pp:283-291 [Conf] - 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] - 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] - 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] - 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] - 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] - 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] - Francisco Botana
**A Fuzzy Measure of Similarity for Instance-Based Learning.**[Citation Graph (0, 0)][DBLP] ISMIS, 1999, pp:439-447 [Conf] - Francisco Botana
**Learning Efficient Rulsets from Fuzzy Data with a Generic Algorithm.**[Citation Graph (0, 0)][DBLP] IWANN (1), 1999, pp:517-526 [Conf] - 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] - 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] - 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] - 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] - 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]
Search in 0.002secs, Finished in 0.003secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |