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