Tomas Recio

From MaRDI portal


List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
GeoGebra discovery in context
 
2024-12-17Paper
Faithful real-time animation of parametrized (semi-) algebraic expressions via cylindrical algebraic decomposition
ACM Communications in Computer Algebra
2024-05-13Paper
Computing with Tarski formulas and semi-algebraic sets in a web browser
Journal of Symbolic Computation
2023-08-10Paper
Towards an Automated Geometer
Artificial Intelligence and Symbolic Computation
2023-06-30Paper
Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom?
Mathematics in Computer Science
2023-06-22Paper
Automated reasoning tools in GeoGebra discovery
ACM Communications in Computer Algebra
2022-09-06Paper
A mechanical geometer
Mathematics in Computer Science
2022-01-28Paper
Some issues on the automatic computation of plane envelopes in interactive environments
Mathematics and Computers in Simulation
2021-02-19Paper
Generalizing the Steiner-Lehmus theorem using the Gröbner cover
Mathematics and Computers in Simulation
2021-02-18Paper
Factoring analytic multivariate polynomials and non-standard Cauchy-Riemann conditions
Mathematics and Computers in Simulation
2021-02-18Paper
Towards an automatic geometer
 
2020-11-12Paper
The Importance of Being Zero
Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation
2020-09-09Paper
Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick
Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM
2020-08-12Paper
Reasoning about linkages with dynamic geometry
Journal of Symbolic Computation
2019-11-07Paper
Detecting truth, just on parts
Revista Matemática Complutense
2019-06-26Paper
Rewriting input expressions in complex algebraic geometry provers
Annals of Mathematics and Artificial Intelligence
2019-05-16Paper
scientific article; zbMATH DE number 7039400 (Why is no real title available?)
 
2019-03-20Paper
A proposal for the automatic computation of envelopes of families of plane curves
Journal of Systems Science and Complexity
2019-03-06Paper
scientific article; zbMATH DE number 6811744 (Why is no real title available?)
 
2017-11-23Paper
Computing envelopes in dynamic geometry environments
Annals of Mathematics and Artificial Intelligence
2017-08-15Paper
Development of automatic reasoning tools in GeoGebra
ACM Communications in Computer Algebra
2017-06-22Paper
scientific article; zbMATH DE number 6696424 (Why is no real title available?)
 
2017-03-22Paper
scientific article; zbMATH DE number 6683118 (Why is no real title available?)
 
2017-02-09Paper
Towards the Automatic Discovery of Theorems in GeoGebra
Mathematical Software – ICMS 2016
2016-09-28Paper
On the unavoidable uncertainty of truth in dynamic geometry proving
Mathematics in Computer Science
2016-06-16Paper
Automated theorem proving in GeoGebra: current achievements
Journal of Automated Reasoning
2016-05-26Paper
On tubular vs. swung surfaces
Journal of Symbolic Computation
2015-08-19Paper
Ultraquadrics associated to affine and projective automorphisms
Applicable Algebra in Engineering, Communication and Computing
2015-02-05Paper
Reparametrizing swung surfaces over the reals
Applicable Algebra in Engineering, Communication and Computing
2014-10-02Paper
Software using the Gröbner cover for geometrical loci computation and classification
Mathematical Software – ICMS 2014
2014-09-08Paper
Using Maple's RegularChains library to automatically classify plane geometric loci
Mathematical Software – ICMS 2014
2014-09-08Paper
An introduction to automated discovery in geometry through symbolic computation
Texts & Monographs in Symbolic Computation
2012-09-14Paper
Algorithmic detection of hypercircles
Mathematics and Computers in Simulation
2012-05-14Paper
scientific article; zbMATH DE number 5947826 (Why is no real title available?)
 
2011-09-15Paper
Rabin's width of a complete proof and the width of a semialgebraic set
Lecture Notes in Computer Science
2011-04-16Paper
Proper real reparametrization of rational ruled surfaces
Computer Aided Geometric Design
2011-03-22Paper
Manual of hypercircles
 
2011-01-03Paper
Generalizing circles over algebraic extensions
Mathematics of Computation
2010-08-30Paper
scientific article; zbMATH DE number 5769165 (Why is no real title available?)
 
2010-08-11Paper
Plotting missing points and branches of real parametric curves
Applicable Algebra in Engineering, Communication and Computing
2010-08-05Paper
On protocols for the automated discovery of theorems in elementary geometry
Journal of Automated Reasoning
2010-02-01Paper
On the simplification of the coefficients of a parametrization
Journal of Symbolic Computation
2009-01-20Paper
Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems
Automated Deduction in Geometry
2008-04-01Paper
Computational Science and Its Applications – ICCSA 2004
Lecture Notes in Computer Science
2007-09-25Paper
Round Table: Current state and cooperation in educational matters
 
2007-07-24Paper
Automated Deduction in Geometry
Lecture Notes in Computer Science
2006-10-20Paper
From hypercircles to units
Proceedings of the 2004 international symposium on Symbolic and algebraic computation
2005-03-14Paper
scientific article; zbMATH DE number 1944659 (Why is no real title available?)
 
2004-03-29Paper
Does computer algebra help at all learning about real numbers?
Mathematics and Computers in Simulation
2003-08-21Paper
scientific article; zbMATH DE number 1091158 (Why is no real title available?)
 
2001-04-29Paper
Spécialisation de la suite de Sturm
RAIRO - Theoretical Informatics and Applications
2001-03-01Paper
scientific article; zbMATH DE number 1263438 (Why is no real title available?)
 
1999-09-15Paper
scientific article; zbMATH DE number 1254006 (Why is no real title available?)
 
1999-08-19Paper
scientific article; zbMATH DE number 1263356 (Why is no real title available?)
 
1999-06-20Paper
Advances on the simplification of sine-cosine equations
Journal of Symbolic Computation
1999-05-03Paper
scientific article; zbMATH DE number 1276823 (Why is no real title available?)
 
1999-04-20Paper
A note on separated factors of separated polynomials
Journal of Pure and Applied Algebra
1999-01-19Paper
scientific article; zbMATH DE number 1080064 (Why is no real title available?)
 
1998-11-29Paper
scientific article; zbMATH DE number 1157660 (Why is no real title available?)
 
1998-09-13Paper
scientific article; zbMATH DE number 1107762 (Why is no real title available?)
 
1998-08-19Paper
Voronoi diagrams on orbifolds
Computational Geometry
1998-06-11Paper
scientific article; zbMATH DE number 1023370 (Why is no real title available?)
 
1998-02-03Paper
Real reparametrizations of real curves
Journal of Symbolic Computation
1997-12-08Paper
An implicitization algorithm with fewer variables
Computer Aided Geometric Design
1997-02-28Paper
Reconsidering algorithms for real parametric curves
Applicable Algebra in Engineering, Communication and Computing
1996-08-29Paper
A rational function decomposition algorithm by near-separated polynomials
Journal of Symbolic Computation
1996-07-01Paper
GEOMETRY OF BISECTORS FOR STRICTLY CONVEX DISTANCES
International Journal of Computational Geometry & Applications
1996-06-04Paper
scientific article; zbMATH DE number 786600 (Why is no real title available?)
 
1996-04-10Paper
scientific article; zbMATH DE number 589355 (Why is no real title available?)
 
1995-08-21Paper
scientific article; zbMATH DE number 701951 (Why is no real title available?)
 
1995-05-28Paper
scientific article; zbMATH DE number 589347 (Why is no real title available?)
 
1994-07-07Paper
A note on Rabin's width of a complete proof
Computational Complexity
1994-06-19Paper
Path Tracking in Motion Planning
The Computer Journal
1994-02-06Paper
scientific article; zbMATH DE number 66679 (Why is no real title available?)
 
1992-09-27Paper
scientific article; zbMATH DE number 16658 (Why is no real title available?)
 
1992-06-26Paper
scientific article; zbMATH DE number 4203828 (Why is no real title available?)
 
1991-01-01Paper
Spécialisation de la suite de Sturm et sous-résultants (I)
RAIRO - Theoretical Informatics and Applications
1990-01-01Paper
scientific article; zbMATH DE number 4204559 (Why is no real title available?)
 
1990-01-01Paper
scientific article; zbMATH DE number 4168839 (Why is no real title available?)
 
1990-01-01Paper
scientific article; zbMATH DE number 4101330 (Why is no real title available?)
 
1989-01-01Paper
scientific article; zbMATH DE number 4114777 (Why is no real title available?)
 
1988-01-01Paper
scientific article; zbMATH DE number 4032073 (Why is no real title available?)
 
1987-01-01Paper
Orders on real algebraic sets and analytic germs
Rocky Mountain Journal of Mathematics
1984-01-01Paper
A note on Robinson's non-negativity criterion
Fundamenta Mathematicae
1984-01-01Paper
Ordered fields with the dense orbits property
Journal of Pure and Applied Algebra
1983-01-01Paper
Order extensions and real algebraic geometry
Ordered fields and real algebraic geometry
1982-01-01Paper
scientific article; zbMATH DE number 3785028 (Why is no real title available?)
 
1982-01-01Paper


Research outcomes over time


This page was built for person: Tomas Recio