- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| c16 |      | Francisco Botana: On the Parametric Representation of Dynamic Geometry Constructions. ICCSA (4) 2011: 342-352 |
| c15 | | Miguel A. Abánades, Francisco Botana, Jesús Escribano, José L. Valcarce: Using Free Open Source Software for Intelligent Geometric Computing. ICCSA (4) 2011: 353-367 |
| c14 | | Francisco Botana: A Symbolic Companion for Interactive Geometric Systems. Calculemus/MKM 2011: 285-286 |
| c13 | | Francisco Botana, Miguel A. Abánades: Automatic Deduction in Dynamic Geometry using Sage. THedu'11 2011: 49-62 |
| 2010 | ||
| j5 | | Jesús Escribano, Francisco Botana, Miguel A. Abánades: Adding remote computational capabilities to Dynamic Geometry Systems. Mathematics and Computers in Simulation 80(6): 1177-1184 (2010) |
| 2007 | ||
| c12 | | 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 |
| c11 | | 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 |
| e1 |  | Francisco Botana, Tomás Recio (Eds.): Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers. Lecture Notes in Computer Science 4869, Springer 2007, isbn 978-3-540-77355-9 |
| 2006 | ||
| c10 | | Francisco Botana, José L. Valcarce: Automated Discovery in Elementary Extrema Problems. International Conference on Computational Science (2) 2006: 470-477 |
| 2004 | ||
| j4 | | 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) |
| c9 | | Francisco Botana, Tomás Recio: Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach. Automated Deduction in Geometry 2004: 92-110 |
| c8 | | Tomás Recio, Francisco Botana: Where the Truth Lies (in Automatic Theorem Proving in Elementary Geometry). ICCSA (2) 2004: 761-770 |
| 2003 | ||
| j3 | | Francisco Botana, José L. Valcarce: A software tool for the investigation of plane loci. Mathematics and Computers in Simulation 61(2): 139-152 (2003) |
| c7 | | Francisco Botana: A Web-Based Intelligent System for Geometric Discovery. International Conference on Computational Science 2003: 801-810 |
| c6 | | Francisco Botana: Automatic Determination of Algebraic Surfaces as Loci of Points. International Conference on Computational Science 2003: 879-886 |
| 2002 | ||
| j2 | | Francisco Botana, José L. Valcarce: A dynamic-symbolic interface for geometric theorem discovery. Computers & Education 38(1-3): 21-35 (2002) |
| c5 | | Francisco Botana: Interactive versus Symbolic Approaches to Plane Loci Generation in Dynamic Geometry Environments. International Conference on Computational Science (2) 2002: 211-218 |
| 2000 | ||
| c4 | | Francisco Botana: Construction of Efficient Rulesets from Fuzzy Data through Simulated Annealing. AIMSA 2000: 283-291 |
| 1999 | ||
| c3 | | |
| c2 | | Francisco Botana: Learning Efficient Rulsets from Fuzzy Data with a Generic Algorithm. IWANN (1) 1999: 517-526 |
| 1998 | ||
| c1 | | Francisco Botana: Deriving Fuzzy Subsethood Measures from Violations of the Implication between Elements. IEA/AIE (Vol. 1) 1998: 234-243 |
| 1995 | ||
| j1 | | Francisco Botana, Antonio Bahamonde: SHAPE: a machine learning system from examples. Int. J. Hum.-Comput. Stud. 42(2): 137-155 (1995) |
| 1 | Miguel A. Abánades | |
| 2 | Antonio Bahamonde | |
| 3 | Jesús Escribano | |
| 4 | Tomás Recio | |
| 5 | José L. Valcarce |
Data released under the ODC-BY 1.0 license — See also our legal information page