Skip to contents Botana, Francisco [Editor]; Recio, Tomas [Other] ; ADG 6 2006 Pontevedra Automated deduction in geometry : 6th international workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006 ; revised papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4869 Botana, Francisco [Editor]; Quaresma, Pedro [Editor] Automated Deduction in Geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers Books 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. Cham [u.a.]: Springer, 2015 Published in: Lecture notes in computer science ; 9201 Botana, Francisco [Other]; Recio, Tomás [Other] ; ADG 6 2006 Pontevedra Automated Deduction in Geometry : 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers Books 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. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007 Published in: Lecture notes in computer science ; 4869 Botana, Francisco A parametric approach to 3D 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: Mathematics and Computers in Simulation Botana, Francisco Computing bisectors in a dynamic geometry environment Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Informa UK Limited, 2013 Published in: International Journal of Mathematical Education in Science and Technology Botana, Francisco Computational Science and Its Applications - ICCSA 2011: On the Parametric Representation of Dynamic Geometry Constructions 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, 2011 Published in: Computational Science and Its Applications - ICCSA 2011 Botana, Francisco Lecture Notes in Computer Science: A Symbolic Companion for Interactive Geometric Systems 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, 2011 Published in: Lecture Notes in Computer Science Botana, Francisco Lecture Notes in Computer Science: A Web-Based Intelligent System for Geometric Discovery 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, 2003 Published in: Lecture Notes in Computer Science Botana, Francisco Lecture Notes in Computer Science: Automatic Determination of Algebraic Surfaces as Loci of Points 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, 2003 Published in: Lecture Notes in Computer Science Botana, Francisco Lecture Notes in Computer Science: Interactive versus Symbolic Approaches to Plane Loci Generation in 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, 2002 Published in: Lecture Notes in Computer Science Botana, Francisco Artificial Intelligence: Methodology, Systems, and Applications: Construction of Efficient Rulesets from Fuzzy Data through Simulated Annealing 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, 2000 Published in: Artificial Intelligence: Methodology, Systems, and Applications Botana, Francisco Lecture Notes in Computer Science: A fuzzy measure of similarity for instance-based learning 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, 1999 Published in: Lecture Notes in Computer Science Botana, Francisco Lecture Notes in Computer Science: Learning efficient rulesets from fuzzy data with a genetic algorithm 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, 1999 Published in: Lecture Notes in Computer Science Botana, Francisco Lecture Notes in Computer Science: Deriving fuzzy subsethood measures from violations of the implication between elements 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, 1998 Published in: Lecture Notes in Computer Science Botana, Francisco; Recio, Tomas Geometric Loci and ChatGPT: Caveat Emptor! Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. MDPI AG, 2024 Published in: Computation Botana, Francisco; Recio, Tomás A Proposal for the Automatic Computation of Envelopes of Families of Plane Curves 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, 2019 Published in: Journal of Systems Science and Complexity Botana, Francisco; Recio, Tomas Computing envelopes in dynamic geometry environments 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, 2017 Published in: Annals of Mathematics and Artificial Intelligence Botana, Francisco; Recio, Tomas On the Unavoidable Uncertainty of Truth in Dynamic Geometry Proving 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, 2016 Published in: Mathematics in Computer Science Botana, Francisco; Kovács, Zoltán A Singular web service for geometric computations 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, 2015 Published in: Annals of Mathematics and Artificial Intelligence Botana, Francisco; Recio, Tomás Mathematical Software – ICMS 2014: Using Maple’s RegularChains Library to Automatically Classify Plane Geometric Loci 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 [Editor]; Recio, Tomas [Other] ; ADG 6 2006 Pontevedra Automated deduction in geometry : 6th international workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006 ; revised papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4869
Botana, Francisco [Editor]; Quaresma, Pedro [Editor] Automated Deduction in Geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers Books 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. Cham [u.a.]: Springer, 2015 Published in: Lecture notes in computer science ; 9201
Botana, Francisco [Other]; Recio, Tomás [Other] ; ADG 6 2006 Pontevedra Automated Deduction in Geometry : 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers Books 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. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007 Published in: Lecture notes in computer science ; 4869
Botana, Francisco A parametric approach to 3D 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: Mathematics and Computers in Simulation
Botana, Francisco Computing bisectors in a dynamic geometry environment Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Informa UK Limited, 2013 Published in: International Journal of Mathematical Education in Science and Technology
Botana, Francisco Computational Science and Its Applications - ICCSA 2011: On the Parametric Representation of Dynamic Geometry Constructions 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, 2011 Published in: Computational Science and Its Applications - ICCSA 2011
Botana, Francisco Lecture Notes in Computer Science: A Symbolic Companion for Interactive Geometric Systems 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, 2011 Published in: Lecture Notes in Computer Science
Botana, Francisco Lecture Notes in Computer Science: A Web-Based Intelligent System for Geometric Discovery 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, 2003 Published in: Lecture Notes in Computer Science
Botana, Francisco Lecture Notes in Computer Science: Automatic Determination of Algebraic Surfaces as Loci of Points 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, 2003 Published in: Lecture Notes in Computer Science
Botana, Francisco Lecture Notes in Computer Science: Interactive versus Symbolic Approaches to Plane Loci Generation in 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, 2002 Published in: Lecture Notes in Computer Science
Botana, Francisco Artificial Intelligence: Methodology, Systems, and Applications: Construction of Efficient Rulesets from Fuzzy Data through Simulated Annealing 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, 2000 Published in: Artificial Intelligence: Methodology, Systems, and Applications
Botana, Francisco Lecture Notes in Computer Science: A fuzzy measure of similarity for instance-based learning 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, 1999 Published in: Lecture Notes in Computer Science
Botana, Francisco Lecture Notes in Computer Science: Learning efficient rulesets from fuzzy data with a genetic algorithm 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, 1999 Published in: Lecture Notes in Computer Science
Botana, Francisco Lecture Notes in Computer Science: Deriving fuzzy subsethood measures from violations of the implication between elements 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, 1998 Published in: Lecture Notes in Computer Science
Botana, Francisco; Recio, Tomas Geometric Loci and ChatGPT: Caveat Emptor! Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. MDPI AG, 2024 Published in: Computation
Botana, Francisco; Recio, Tomás A Proposal for the Automatic Computation of Envelopes of Families of Plane Curves 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, 2019 Published in: Journal of Systems Science and Complexity
Botana, Francisco; Recio, Tomas Computing envelopes in dynamic geometry environments 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, 2017 Published in: Annals of Mathematics and Artificial Intelligence
Botana, Francisco; Recio, Tomas On the Unavoidable Uncertainty of Truth in Dynamic Geometry Proving 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, 2016 Published in: Mathematics in Computer Science
Botana, Francisco; Kovács, Zoltán A Singular web service for geometric computations 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, 2015 Published in: Annals of Mathematics and Artificial Intelligence
Botana, Francisco; Recio, Tomás Mathematical Software – ICMS 2014: Using Maple’s RegularChains Library to Automatically Classify Plane Geometric Loci 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