Francisco Botana

Address

Dr. Francisco Botana, Department of Applied Mathematics I, EUET Forestais, University of Vigo at Pontevedra, Campus A Xunqueira, 36005 Pontevedra, Spain
Office: 2-20 Phone: +34 986801931 Fax: +34 986801907

Events

SCDG 2011,GCR'11, I2GEO 2010, CADGME 2010, ADG 2010, GCR'10, Ciencia que conta, RSME 2009, GCR09, ADG 2008, Intergeoi2g, GCR08, Workshop Intergeo-España, Reunión de Traballo ADG Talks (videos 1 2 only accessible from uvigo.es), ADG 2006

Teaching

Research Interests

    Automated reasoning in geometry
    Dynamic geometry environments
    Internet accessible mathematical computation
    Machine learning

Selected Publications and Invited Conferences

On using automated deduction techniques in dynamic geometry environments, plenary lecture, CADGME 2010, Hluboká nad Vltavou (Chequia), 2010
Software matemático libre, La Gaceta de la Real Sociedad Matemática Española 12 (2) (2009) 325-346 (with M. Abánades, J. Escribano and L.F. Tabera) (in Spanish) (pdf)
Exact Internet accessible computation of paths of points in planar linkages and diagrams, Computer Applications In Engineering Education (2009), to appear (with M. Abánades and J. Escribano)
Adding remote computational capabilities to dynamic geometry systems, Mathematics and Computers in Simulation (2008), to appear (with M. Abánades and J. Escribano)
Automated Deduction in Geometry, 6^th International Workshop, Revised Papers, LNAI 4869, Springer (2007) (coedited with T. Recio) (front-matter) (books@google)
Bringing more intelligence to dynamic geometry by using symbolic computation, in S. Li, D. Wang and J. Zhang (eds.), Symbolic Computation and Education, World Scientific (2007)
Format Exchange in Dynamic Geometry, conference, Workshop Intergeo-España, Centro Internacional de Encuentros Matemáticos, Castro Urdiales (Spain), 2007
First steps on using OpenMath to add proving capabilities to standard dynamic geometry systems, LNAI 4573 (2007) 131-145 (with M. Abánades and J. Escribano)
Computing locus equations for standard dynamic geometry environments, LNCS 4488 (2007) 227-234 (with M. Abánades and J. Escribano)
Automated discovery in elementary extrema problems, LNCS 3992 (2006) 470-477 (with J.L. Valcarce)
Bringing more intelligence to dynamic geometry by using symbolic computation, conference, International Seminar on Symbolic Computation in Education, Beijing, 2006
Towards solving the dynamic geometry bottleneck via a symbolic approach , LNAI 3763 (2006) 92-110 (with T. Recio)
Automatic determination of envelopes and other derived curves within a graphic environment , Mathematics and Computers in Simulation 67 (1-2) (2004) 3-13 (with J.L. Valcarce)
Where the truth lies (in automatic theorem proving in elementary geometry) , LNCS 3044 (2004) 761-770 (with T. Recio)
A Web-based intelligent system for geometric discovery, LNCS 2657 (2003) 801-810
Geometría Dinámica Inteligente: cooperación entre sistemas de álgebra computacional y entornos de geometría dinámica , conference, International Symposium Mathematics and New Technologies. What to Learn, How to Teach , Fundación Ramón Areces, Madrid, 2003
Automatic determination of algebraic surfaces as loci of points, LNCS 2657 (2003) 879-886
A Web-based resource for automatic discovery in plane geometry , International Journal of Computers for Mathematical Learning 8 (1) (2003) 109-121
A software tool for the investigation of plane loci , Mathematics and Computers in Simulation 61 (2) (2003) 139-152 (with J.L. Valcarce)
Automatic determination of plane loci, conference in the session on Automatic Theorem Proving in Elementary Geometry of ACA 2002
Interactive versus symbolic approaches to plane loci generation in dynamic geometry environments , LNCS 2330 (2002) 211-218
A dynamic-symbolic interface for geometric theorem discovery , Computers & Education 38 (1-3) (2002) 21-35 (with J.L. Valcarce)
Unha interface gráfica para o descubrimento automático de teoremas en xeometría elemental , Revista Galega do Ensino 33 (2001) 79-89 (with J.L. Valcarce) (in Galician)
A new heuristic measure for learning rules from fuzzy data , in P. Sincak et al (eds.), The State of the Art in Computational Intelligence, Physica-Verlag (2000) 120-126 (with J. Ranilla, R. Mones and A. Bahamonde)
Construction of efficient rulesets from fuzzy data through simulated annealing , LNAI 1904 (2000) 283-291
A fuzzy measure of similarity for instance-based learning , LNAI 1609 (1999) 439-447
Learning efficient rulesets from fuzzy data with a genetic algorithm , LNCS 1606 (1999) 517-526
Deriving fuzzy subsethood measures from violations of the implication between elements , LNAI 1415 (1998) 234-243
A machine learning system from examples, International Journal of Human-Computer Studies 42 (1995) 137-155 (with A. Bahamonde)