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

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
Bank, Bernd [Author] ; Recio, Tomás [Honoree]

Algorithms of intrinsic complexity for point searching in compact real singular hypersurfaces : dedicated to Tomás Recio on the occasion of his 60th birthday - [rev. version of preprint 10-11]

View online
Schließen

Access

http://webdoc.sub.gwdg.de/ebook/serien/e/preprint_HUB/P-11-19.pdf

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Humboldt-Univ., Inst. für Mathematik, 2011

Published in: Humboldt-Universität zu Berlin: Preprints ; 2011,19
Bank, Bernd [Author] ; Recio, Tomás [Honoree]

Algorithms of intrinsic complexity for point searching in real singular hypersurfaces ; dedicated to Tomás Recio on the occasion of his 60th birthday

View online
Schließen

Access

http://webdoc.sub.gwdg.de/ebook/serien/e/preprint_HUB/P-10-11.pdf

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Humboldt-Univ., Inst. für Mathematik, 2010

Published in: Humboldt-Universität zu Berlin: Preprints ; 2010,11
González-Vega, Laureano [Author] ; Recio, Tomás [Editor]

Algorithms in Algebraic Geometry and Applications

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.

Basel: Birkhäuser Basel, 1996

Published in: Progress in Mathematics ; 143- SpringerLink ; Bücher- Springer eBook Collection ; Mathematics and Statistics
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

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
Barlovits, Simon [Author]; Jablonski, Simone [Author]; Lázaro, Claudia [Author]; Ludwig, Matthias [Author]; Recio, Tomas [Author]

Teaching from a distance - math lessons during COVID-19 in Germany and Spain

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Publication Server of Goethe University Frankfurt am Main, 2021-08-05
Barlovits, Simon [Author]; Caldeira, Amélia [Author]; Fesakis, Georgios [Author]; Jablonski, Simone [Author]; Koutsomanoli Filippaki, Despoina [Author]; Lázaro, Claudia [Author]; Ludwig, Matthias [Author]; Mammana, Maria Flavia [Author]; Moura, Ana [Author]; Oehler, Deng-Xin Ken [Author]; Recio, Tomás [Author]; Taranto, Eugenia [Author]; Volika, Stamatia [Author]

Adaptive, synchronous, and mobile online education: developing the ASYMPTOTE learning environment

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Publication Server of Goethe University Frankfurt am Main, 2022-05-10
Botana, Francisco; Recio, Tomas

Geometric Loci and ChatGPT: Caveat Emptor!

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

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

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

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
Montes, Antonio; Recio, Tomás

Generalizing the Steiner–Lehmus theorem using the Gröbner cover

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; Recio, Tomás

Mathematical Software – ICMS 2014: Using Maple’s RegularChains Library to Automatically Classify Plane Geometric Loci

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

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
Andradas, Carlos; Recio, Tomás

Plotting missing points and branches of real parametric curves

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, 2007

Published in: Applicable Algebra in Engineering, Communication and Computing
Botana, Francisco; Recio, Tomás

Automated Deduction in Geometry: Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach

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
Recio, Tomás; Kerber, Manfred

Computer Algebra and Mechanized Reasoning: Selected St. Andrews' ISSAC/Calculemus 2000 Contributions. Foreword from the Editors

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2001

Published in: Journal of Symbolic Computation
Gutierrez, Jaime; Recio, Tomas

Defining degenerate robots symbolically

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2000

Published in: Mathematics and Computers in Simulation
Gutierrez, Jaime; Recio, Tomas

Advances on the Simplification of Sine–Cosine Equations

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 1998

Published in: Journal of Symbolic Computation
Gutierrez, Jaime; Recio, Tomas

LATIN '92: Rational function decomposition and Gröbner bases in the parameterization of plane curves : An extend abstract : An extend abstract

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, 1992

Published in: LATIN '92

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication