Skip to contents Botana, Francisco; Recio, Tomas Foreword to the special issue on symbolic computation with Sage in mathematical education and research Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Tbilisi Centre for Mathematical Sciences, 2012 Published in: Tbilisi Mathematical Journal Botana, Francisco; Recio, Tomás Automated Deduction in Geometry: Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2006 Published in: Automated Deduction in Geometry Botana, Francisco; Bahamonde, Antonio SHAPE: a machine learning system from examples Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 1995 Published in: International Journal of Human-Computer Studies Botana, Francisco; Abánades, Miguel A. Automatic deduction in (dynamic) geometry: Loci computation Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2014 Published in: Computational Geometry Abánades, Miguel A.; Botana, Francisco Lecture Notes in Computer Science: A Dynamic Symbolic Geometry Environment Based on the GröbnerCover Algorithm for the Computation of Geometric Loci and Envelopes Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2013 Published in: Lecture Notes in Computer Science Botana, Francisco; Abánades, Miguel A. Automatic Deduction in Dynamic Geometry using Sage Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Open Publishing Association, 2012 Published in: Electronic Proceedings in Theoretical Computer Science Botana, Francisco; Valcarce, José L. Computational Science – ICCS 2006: Automated Discovery in Elementary Extrema Problems Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2006 Published in: Computational Science – ICCS 2006 Botana, Francisco; Valcarce, José L. A dynamic–symbolic interface for geometric theorem discovery Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2002 Published in: Computers & Education Botana, Francisco; Kovács, Zoltán; Recio, Tomás A Mechanical Geometer Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2021 Published in: Mathematics in Computer Science Botana, Francisco; Kovács, Zoltán; Recio, Tomas Special issue on dynamic geometry and automated reasoning Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2020 Published in: Journal of Symbolic Computation Botana, Francisco; Kovács, Zoltán; Recio, Tomás Artificial Intelligence and Symbolic Computation: Towards an Automated Geometer Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2018 Published in: Artificial Intelligence and Symbolic Computation Abánades, Miguel Á.; Botana, Francisco; Escribano, Jesús Automated Generation of Equations for Linkage Loci in a Game Physics System Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2014 Published in: Technology, Knowledge and Learning Botana, Francisco; Abánades, Miguel A.; Escribano, Jesús Using a free open source software to teach mathematics Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiley, 2014 Published in: Computer Applications in Engineering Education Botana, Francisco; Abánades, Miguel A.; Escribano, Jesús Exact internet accessible computation of paths of points in planar linkages and diagrams Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiley, 2011 Published in: Computer Applications in Engineering Education Escribano, Jesús; Botana, Francisco; Abánades, Miguel A. Adding remote computational capabilities to Dynamic Geometry Systems Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2010 Published in: Mathematics and Computers in Simulation Botana, Francisco; Abánades, Miguel A.; Escribano, Jesús Computational Science – ICCS 2007: Computing Locus Equations for Standard Dynamic Geometry Environments Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2007 Published in: Computational Science – ICCS 2007 Botana-Galvín, Marta; Blanco, Ginesa; González-Rovira, Leandro; Rodríguez, Miguel A; Botana, Francisco J Adhesive behaviour of carbon fibre reinforced plastic panels manufactured using woven and unidirectional tape after ultraviolet laser surface treatment Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. SAGE Publications, 2018 Published in: Journal of Composite Materials Abánades, Miguel Á.; Botana, Francisco; Montes, Antonio; Recio, Tomás An algebraic taxonomy for locus computation in dynamic geometry Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2014 Published in: Computer-Aided Design Hernando, Antonio; Botana, Francisco; Roanes-Lozano, Eugenio; Wester, Michael J. Foreword to the special issue on “Nonstandard applications of computer algebra” Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2014 Published in: Mathematics and Computers in Simulation Abánades, Miguel A.; Botana, Francisco; Montes, Antonio; Recio, Tomás Mathematical Software – ICMS 2014: Software Using the Gröbner Cover for Geometrical Loci Computation and Classification Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2014 Published in: Mathematical Software – ICMS 2014
Botana, Francisco; Recio, Tomas Foreword to the special issue on symbolic computation with Sage in mathematical education and research Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Tbilisi Centre for Mathematical Sciences, 2012 Published in: Tbilisi Mathematical Journal
Botana, Francisco; Recio, Tomás Automated Deduction in Geometry: Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2006 Published in: Automated Deduction in Geometry
Botana, Francisco; Bahamonde, Antonio SHAPE: a machine learning system from examples Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 1995 Published in: International Journal of Human-Computer Studies
Botana, Francisco; Abánades, Miguel A. Automatic deduction in (dynamic) geometry: Loci computation Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2014 Published in: Computational Geometry
Abánades, Miguel A.; Botana, Francisco Lecture Notes in Computer Science: A Dynamic Symbolic Geometry Environment Based on the GröbnerCover Algorithm for the Computation of Geometric Loci and Envelopes Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2013 Published in: Lecture Notes in Computer Science
Botana, Francisco; Abánades, Miguel A. Automatic Deduction in Dynamic Geometry using Sage Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Open Publishing Association, 2012 Published in: Electronic Proceedings in Theoretical Computer Science
Botana, Francisco; Valcarce, José L. Computational Science – ICCS 2006: Automated Discovery in Elementary Extrema Problems Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2006 Published in: Computational Science – ICCS 2006
Botana, Francisco; Valcarce, José L. A dynamic–symbolic interface for geometric theorem discovery Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2002 Published in: Computers & Education
Botana, Francisco; Kovács, Zoltán; Recio, Tomás A Mechanical Geometer Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2021 Published in: Mathematics in Computer Science
Botana, Francisco; Kovács, Zoltán; Recio, Tomas Special issue on dynamic geometry and automated reasoning Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2020 Published in: Journal of Symbolic Computation
Botana, Francisco; Kovács, Zoltán; Recio, Tomás Artificial Intelligence and Symbolic Computation: Towards an Automated Geometer Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2018 Published in: Artificial Intelligence and Symbolic Computation
Abánades, Miguel Á.; Botana, Francisco; Escribano, Jesús Automated Generation of Equations for Linkage Loci in a Game Physics System Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2014 Published in: Technology, Knowledge and Learning
Botana, Francisco; Abánades, Miguel A.; Escribano, Jesús Using a free open source software to teach mathematics Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiley, 2014 Published in: Computer Applications in Engineering Education
Botana, Francisco; Abánades, Miguel A.; Escribano, Jesús Exact internet accessible computation of paths of points in planar linkages and diagrams Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiley, 2011 Published in: Computer Applications in Engineering Education
Escribano, Jesús; Botana, Francisco; Abánades, Miguel A. Adding remote computational capabilities to Dynamic Geometry Systems Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2010 Published in: Mathematics and Computers in Simulation
Botana, Francisco; Abánades, Miguel A.; Escribano, Jesús Computational Science – ICCS 2007: Computing Locus Equations for Standard Dynamic Geometry Environments Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2007 Published in: Computational Science – ICCS 2007
Botana-Galvín, Marta; Blanco, Ginesa; González-Rovira, Leandro; Rodríguez, Miguel A; Botana, Francisco J Adhesive behaviour of carbon fibre reinforced plastic panels manufactured using woven and unidirectional tape after ultraviolet laser surface treatment Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. SAGE Publications, 2018 Published in: Journal of Composite Materials
Abánades, Miguel Á.; Botana, Francisco; Montes, Antonio; Recio, Tomás An algebraic taxonomy for locus computation in dynamic geometry Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2014 Published in: Computer-Aided Design
Hernando, Antonio; Botana, Francisco; Roanes-Lozano, Eugenio; Wester, Michael J. Foreword to the special issue on “Nonstandard applications of computer algebra” Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2014 Published in: Mathematics and Computers in Simulation
Abánades, Miguel A.; Botana, Francisco; Montes, Antonio; Recio, Tomás Mathematical Software – ICMS 2014: Software Using the Gröbner Cover for Geometrical Loci Computation and Classification Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2014 Published in: Mathematical Software – ICMS 2014
> Media type Skip to next facet Articles (87) Wert ausschließen Books (3) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (35) Wert ausschließen Without Specification (54) Wert ausschließen Show more show less
> Language Skip to next facet English (56) Wert ausschließen Not determined (31) Wert ausschließen Spanish (3) Wert ausschließen Show more show less
> Subject Skip to next facet Mathmatics (14) Wert ausschließen Computer science (11) Wert ausschließen Chemistry and pharmacology (10) Wert ausschließen Medicine (9) Wert ausschließen Technology (7) Wert ausschließen Physics (6) Wert ausschließen Pedagogy (6) Wert ausschließen General (2) Wert ausschließen Biology (1) Wert ausschließen Show more show less
> Creator Skip to next facet Botana, Francisco (46) Wert ausschließen Recio, Tomás (11) Wert ausschließen Abánades, Miguel A. (9) Wert ausschließen Botana, Francisco Javier (9) Wert ausschließen Escribano, Jesús (7) Wert ausschließen Kovács, Zoltán (7) Wert ausschließen Guijarro, Carlos (6) Wert ausschließen Obaya, Juan Carlos (6) Wert ausschließen Recio, Tomas (6) Wert ausschließen Rodríguez-Berrocal, Francisco Javier (6) Wert ausschließen Bethencourt, Manuel (5) Wert ausschließen Botana-Rial, María Isabel (5) Wert ausschließen Buño Soto, Antonio (5) Wert ausschließen Castellanos Rodrigo, María Mar (5) Wert ausschließen Castilla Guerra, Luis (5) Wert ausschließen Fernández-Villar, Alberto (5) Wert ausschließen García Donaire, José Antonio (5) Wert ausschließen González-Rovira, Leandro (5) Wert ausschließen Gómez Doblas, Juan José (5) Wert ausschließen Mostaza Prieto, José María (5) Wert ausschließen Valderrama Marcos, José Francisco (5) Wert ausschließen Vázquez-Iglesias, Lorena (5) Wert ausschließen Arrobas Velilla, Teresa (4) Wert ausschließen Blanco-Prieto, Sonia (4) Wert ausschließen Botana López, Manuel Antonio (4) Wert ausschließen Botana, Francisco J. (4) Wert ausschließen Egocheaga Cabello, Isabel (4) Wert ausschließen Morais López, Ana (4) Wert ausschließen Pérez Pérez, Antonio (4) Wert ausschließen Rodríguez Piñero, Manuel (4) Wert ausschließen Salgueira Lazo, Mercedes (4) Wert ausschließen Abánades, Miguel Á (3) Wert ausschließen Amaya-Vázquez, M.R. (3) Wert ausschließen Boukha, Z. (3) Wert ausschließen Campuzano Ruiz, Raquel (3) Wert ausschließen Marcos Bárcena, Mariano (3) Wert ausschließen Pallares Carratalá, Vicente (3) Wert ausschließen Sánchez-Amaya, J.M. (3) Wert ausschließen Valcarce, José L. (3) Wert ausschließen de la Cadena, María Páez (3) Wert ausschließen ADG 6 2006 Pontevedra (2) Wert ausschließen Abánades, Miguel (2) Wert ausschließen Arandia Guzmán, Daniel (2) Wert ausschließen Arias, Manuel (2) Wert ausschließen Barcia-Castro, Leticia (2) Wert ausschließen Bernal, Serafín (2) Wert ausschließen Botana López, Antonio M. (2) Wert ausschließen Botana Pedemonte, Francisco (2) Wert ausschließen Botana, Manuel A. (2) Wert ausschließen Caballero, Irene (2) Wert ausschließen Cabello, Isabel Egocheaga (2) Wert ausschließen Cadena, María Páez de la (2) Wert ausschließen Calvo, Marta (2) Wert ausschließen Carratalá, Vicente Pallares (2) Wert ausschließen Casado Pellejero, Juan (2) Wert ausschließen Casitas Hernando, Vicente (2) Wert ausschließen Churiaque, Cristina (2) Wert ausschließen Cotúa, Carlos (2) Wert ausschließen De Chiara, Loretta (2) Wert ausschließen De-Francisco, Angel L. M. (2) Wert ausschließen Esteban-Sinovas, Olga (2) Wert ausschließen Fidalgo De la Rosa, Marina (2) Wert ausschließen Frade-Porto, Natalia (2) Wert ausschließen Fustero De Miguel, David (2) Wert ausschließen García Martín, Andoni (2) Wert ausschließen García, Rafael (2) Wert ausschließen García-Pérez, Daniel (2) Wert ausschließen Gil-Simoes, Ricardo (2) Wert ausschließen González-Leon, Pedro (2) Wert ausschließen González-Rovira, L. (2) Wert ausschließen González-Tarno, Patricia (2) Wert ausschließen Kaen, Ariel (2) Wert ausschließen Lagares, Alfonso (2) Wert ausschließen Lazo, Mercedes Salgueira (2) Wert ausschließen Li, Wei (2) Wert ausschließen López, Ana Morais (2) Wert ausschließen Marcos, Mariano (2) Wert ausschließen Martin Segura, Adrian (2) Wert ausschließen Martín-Alonso, Javier (2) Wert ausschließen Merino-Torres, Juan Francisco (2) Wert ausschließen Miranda-Lloret, Pablo (2) Wert ausschließen Montes, Antonio (2) Wert ausschließen Morales, Cristóbal (2) Wert ausschließen Moreno-Moreno, Paloma (2) Wert ausschließen Paredes, Igor (2) Wert ausschließen Paternain Martin, Clara (2) Wert ausschließen Perez-Nuñez, Angel (2) Wert ausschließen Pesquera, Carlos (2) Wert ausschließen Piñero, Manuel Rodríguez (2) Wert ausschließen Pérez-Alfayate, Rebeca (2) Wert ausschließen Roca Barber, Amparo (2) Wert ausschließen Rodríguez-Girondo, Mar (2) Wert ausschließen Rodríguez-Izquierdo, José M. (2) Wert ausschließen Ruiz Martín, Laura (2) Wert ausschließen Ruiz, Raquel Campuzano (2) Wert ausschließen Ruiz-Juretschke, Fernando (2) Wert ausschließen Soto, Alfonso (2) Wert ausschließen Sánchez-Amaya, Jose (2) Wert ausschließen Sánchez-Amaya, José María (2) Wert ausschließen Sánchez-Otero, Nuria (2) Wert ausschließen Show more show less
> Collection Skip to next facet Springer Berlin Heidelberg (CrossRef) (16) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (14) Wert ausschließen Elsevier BV (CrossRef) (13) Wert ausschließen MDPI AG (CrossRef) (7) Wert ausschließen Trans Tech Publications, Ltd. (CrossRef) (5) Wert ausschließen Wiley (CrossRef) (5) Wert ausschließen Editorial CSIC (CrossRef) (3) Wert ausschließen Frontiers Media SA (CrossRef) (3) Wert ausschließen Verbunddaten SWB (3) Wert ausschließen BMJ (CrossRef) (2) Wert ausschließen Informa UK Limited (CrossRef) (2) Wert ausschließen Royal Society of Chemistry (RSC) (CrossRef) (2) Wert ausschließen Springer International Publishing (CrossRef) (2) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (2) Wert ausschließen ARAN Ediciones (CrossRef) (1) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (1) Wert ausschließen BioExcel (CrossRef) (1) Wert ausschließen DOAJ Directory of Open Access Journals (1) Wert ausschließen FapUNIFESP (SciELO) (CrossRef) (1) Wert ausschließen Hindawi Limited (CrossRef) (1) Wert ausschließen Open Publishing Association (CrossRef) (1) Wert ausschließen Public Library of Science (PLoS) (CrossRef) (1) Wert ausschließen SAGE Publications (CrossRef) (1) Wert ausschließen Sociedad Espanola de Medicina de Familia y Comunitaria (semFYC) (CrossRef) (1) Wert ausschließen Tbilisi Centre for Mathematical Sciences (CrossRef) (1) Wert ausschließen Show more show less