Francisco Botana

Address

Prof. Francisco Botana, Department of Applied Mathematics I, Escola de Enxeñería Forestal, University of Vigo, Campus A Xunqueira, 36005 Pontevedra, Spain
Office: 2-20 Phone: +34 986801931 Fax: +34 986801907

Events

ICMET 2023, ADG 2023, ThEdu'23, ThEdu'22, ThEdu'201, ADG 20201, WP 2019, Proving and Discovery in Geometry@ACA2019, ThEdu'19, ACA 2018, ADG 2018, ThEdu'18, AISC 2018, ThEdu'17, ATPinDG@ACA22, ADG 2016, ThEdu'16, Nonstandard@ACA21, ThEdu'15, ADG 2014, CADGME 2014 WG, AISC 2014, ThEdu'14, II Congreso de Software Libre para Educación, ThEdu'13, Nonstandard@ACA19, ACA 2013, ADG 2012, III Jornada Sage/Python, Nonstandard@ACA18, ACA 2012, GCR'12, Nonstandard@ACA17, ACA 2011, ThEdu'11, 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

Editorial involvements

Guest Editor (with Z. Kovács, T. Recio) of the Special Issue on Dynamic Geometry and Automated Reasoning in Journal of Symbolic Computation vol. 97, 2020

Guest Editor (with A. Bigatti, T. Dana-Picard, F. Gago, I. Kotsireas, M. Ladra and W. Li) of the Special Issue "Applications of Computer Algebra 2018" in Mathematics in Computer Science 14(2), 2020 Foreword

Editor of Book of Abstracts of the 24th Conference on Applications of Computer Algebra (ACA 2018) (coedited with F. Gago and M. Ladra)

Guest Editor (with A. Hernando, E. Roanes, M.J. Wester) of the Special Issue “Non Standard Applications of Computer Algebra 2013” in Mathematics and Computers in Simulation

Editor of Automated Deduction in Geometry, 10^th International Workshop, Revised Selected Papers, LNAI 9201, Springer (2015) (coedited with P. Quaresma)

Editor of Proceedings of the 10th International Workshop on Automated Deduction in Geometry (ADG 2014) (coedited with P. Quaresma)

Guest Editor of the Special Issue "Symbolic computation with Sage in mathematical education and research" in Tbilisi Mathematical Journal 5(2) 2012 Foreword

Guest Editor (with A. Hernando, E. Roanes, M.J. Wester) of the Special Issue “Non Standard Applications of Computer Algebra 2012” in Mathematics and Computers in Simulation

Guest Editor (with A. Hernando) of the Special Issue “Non Standard Applications of Computer Algebra 2011” in Mathematics and Computers in Simulation Foreword

Editor of Automated Deduction in Geometry, 6^th International Workshop, Revised Papers, LNAI 4869, Springer (2007) (coedited with T. Recio) (front-matter) (books@google)

Editor of Proceedings of the 6th International Workshop on Automated Deduction in Geometry (ADG 2006) ISBN 978-84-611-2355-1 (coedited with E. Roanes)

(Nota para lectores hispanos: Como el personaje Tertuliano Máximo Afonso de Saramago he descubierto una suerte de Doppelgänger – a quien no he visto, por fortuna-, que ha escrito un anecdotario de la Guardia Civil. Ninguna relación).

Selected Publications and Invited Talks

• A mechanical geometer, Mathematics in Computer Science, 15 (2021) 631-641 (with Z. Kovács and T. Recio)

• Automatically Augmented Reality for outdoor mathematics, in Research on Outdoor STEM Education in the digiTal Age, M. Ludwig, S. Jablonski, A. Caldeira and A. Moura (Eds.), 2020, 71-78 (with Z. Kovács and T. Recio)

• Hacia un autómata geómetra, Gaceta de la RSME, 23(2) (2020) 343-371 (with Z. Kovács, T. Recio and M.P. Vélez)

• A Proposal for the Automatic Computation of Envelopes of Families of Plane Curves, Journal of Systems Science and Complexity, 32 (2019) 150–157 (with T. Recio)

• Automatically Augmented Reality with GeoGebra, in Augmented Reality in Educational Settings, Theodosia Prodromou (Ed.), 2019, 347–368 (with Z. Kovács, Á. Martínez-Sevilla and T. Recio)

• Towards an Automated Geometer, AISC 2018, LNCS 11110 (2018) 215-220 (with Z. Kovács and T. Recio)

• Theorem proving components in GeoGebra, talk, ThEdu'17@CADE26, Göteborg, 2017

• Computing envelopes in dynamic geometry environments, Annals of Mathematics and Artificial Intelligence, 80(1) (2017) 3-20 (with T. Recio)

• Onde habitan os puntos, talk, II Día GeoGebra de Galicia, A Coruña, 2017

• The role of automated reasoning of geometry statements in mathematics instruction, Tenth Congress of the European Society for Research in Mathematics Education, Dublin, 2017 (with T. Recio and M. Pilar Vélez)

• Automated proof and discovery in dynamic geometry, talk, 6th Iberian Mathematical Meeting, Santiago, 2016

• Development of automatic reasoning tools in GeoGebra, ISSAC 2016 (award), ACM Communications in Computer Algebra 50(3) (2016) 85-88 (with M. Abanades, Z. Kovács, T. Recio and C. Sólyom-Gecse)

• Towards the automatic discovery of theorems in GeoGebra, ICMS 2016, LNCS 9725 (2016) 37-42 (with M. Abanades, Z. Kovács, T. Recio and C. Sólyom-Gecse)

• Descobrimento automático no GeoGebra, talk, IV Día de GeoGebra Iberoamericano, Coimbra, 2016

• Some issues on the automatic computation of plane envelopes in interactive environments, Mathematics and Computers in Simulation, 125 (2016) 115-125 (with T. Recio)

• Concepto de lugar geométrico. Génesis de utilización personal y profesional con distintas herramientas, Mathematics Education Bulletin BOLEMA, 30 (54) (2016) 67-94 (with I. Gómez-Chacón, J. Escribano and M. A. Abánades)

• On the unavoidable uncertainty of truth in dynamic geometry proving, Mathematics in Computer Science 10 (1) (2016) 5-25 (with T. Recio)

• A Singular web service for geometric computations, Annals of Mathematics and Artificial Intelligence 74 (2015) 359-370 (with Z. Kovács)

• Automated theorem proving in GeoGebra: Current achievements, Journal of Automated Reasoning 55 (2015) 39-59 (with M. Hohenwarter, P. Janicic, Z. Kovács, I. Petrovic, T. Recio and S. Weitzhofer)

• Some computations that current Dyamic Geometry systems cannot do, whereas they should, talk, GC 2015 - International Seminar on Geometric Computation, Nanning, 2015

• ¿Demostración automática en GeoGebra? ¡Sí, se puede!, talk, VII Jornades de l'ACG, Barcelona, 2015

• An algebraic taxonomy for locus computation in dynamic geometry, Computer-Aided Design 56 (2014) 22-33 (with M. Abanades, A. Montes and T. Recio)

• Using a free open source software to teach mathematics, Computer Applications in Engineering Education 22 (2014) 728-735 (with M. Abánades and J. Escribano)

• Using Maple's RegularChains library to automatically classify plane geometric loci, ICMS 2014, LNCS 8592 (2014) 500-503 (with T. Recio)

• Software using the Groebner Cover for geometrical loci computation and classification, ICMS 2014, LNCS 8592 (2014) 492-499 (with M. Abanades, A. Montes and T. Recio)

• Automated generation of equations for linkage loci in a game physics system, Technology, Knowledge and Learning 19(3) (2014) 317-326 (with M. Abanades and J. Escribano)

• A parametric approach to 3D dynamic geometry, Mathematics and Computers in Simulation 104 (2014) 3-20

• Automatic deduction in (dynamic) geometry: Loci computation, Computational Geometry 47 (1) (2014) 75-89 (with M. Abanades)

• A propósito de la envolvente de una familia de elipses, Boletín Sociedad Matemática Puig-Adam, 95 (2013) 15-30 (with T. Recio) (in Spanish)

• A dynamic symbolic geometry environment based on the GroebnerCover algorithm for the computation of geometric loci and envelopes, CICM 2013, LNAI 7961 (2013) 349-353 (with M. Abanades)

• Computing bisectors in a dynamic geometry environment, International Journal of Mathematical Education in Science and Technology 44 (2) (2013) 299-310

• On the parametric representation of dynamic geometry constructions , SCDG ICCSA 2011, LNCS 6785 (2011) 342-352

• Prácticas de matemáticas Por la Web. Experiencias de un profesor, talk, Cátedra UCM Miguel de Guzmán, Madrid, 2011

• Exact Internet accessible computation of paths of points in planar linkages and diagrams, Computer Applications in Engineering Education 19 (4) (2011) 835-841 (with M. Abánades and J. Escribano)

• Adding remote computational capabilities to dynamic geometry systems, Mathematics and Computers in Simulation 80 (6) (2010) 1177-1184 (with M. Abánades and J. Escribano)

• On using automated deduction techniques in dynamic geometry environments, pdf, 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)

• 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, talk, 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, plenary talk, 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, talk, 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)