Publication | Date of Publication | Type |
---|
Computing with Tarski formulas and semi-algebraic sets in a web browser | 2023-08-10 | Paper |
Towards an Automated Geometer | 2023-06-30 | Paper |
Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom? | 2023-06-22 | Paper |
Automated reasoning tools in GeoGebra discovery | 2022-09-06 | Paper |
A mechanical geometer | 2022-01-28 | Paper |
Some issues on the automatic computation of plane envelopes in interactive environments | 2021-02-19 | Paper |
Factoring analytic multivariate polynomials and non-standard Cauchy-Riemann conditions | 2021-02-18 | Paper |
Generalizing the Steiner-Lehmus theorem using the Gröbner cover | 2021-02-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q5133355 | 2020-11-12 | Paper |
The Importance of Being Zero | 2020-09-09 | Paper |
Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick | 2020-08-12 | Paper |
Reasoning about linkages with dynamic geometry | 2019-11-07 | Paper |
Detecting truth, just on parts | 2019-06-26 | Paper |
Rewriting input expressions in complex algebraic geometry provers | 2019-05-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q3122143 | 2019-03-20 | Paper |
A proposal for the automatic computation of envelopes of families of plane curves | 2019-03-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q4594353 | 2017-11-23 | Paper |
Computing envelopes in dynamic geometry environments | 2017-08-15 | Paper |
Development of automatic reasoning tools in GeoGebra | 2017-06-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q2968978 | 2017-03-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q2959612 | 2017-02-09 | Paper |
Towards the Automatic Discovery of Theorems in GeoGebra | 2016-09-28 | Paper |
On the unavoidable uncertainty of truth in dynamic geometry proving | 2016-06-16 | Paper |
Automated theorem proving in GeoGebra: current achievements | 2016-05-26 | Paper |
On tubular vs. swung surfaces | 2015-08-19 | Paper |
Ultraquadrics associated to affine and projective automorphisms | 2015-02-05 | Paper |
Reparametrizing swung surfaces over the reals | 2014-10-02 | Paper |
Software Using the Gröbner Cover for Geometrical Loci Computation and Classification | 2014-09-08 | Paper |
Using Maple’s RegularChains Library to Automatically Classify Plane Geometric Loci | 2014-09-08 | Paper |
An Introduction to Automated Discovery in Geometry through Symbolic Computation | 2012-09-14 | Paper |
Algorithmic detection of hypercircles | 2012-05-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q3092116 | 2011-09-15 | Paper |
Rabin's width of a complete proof and the width of a semialgebraic set | 2011-04-16 | Paper |
Proper real reparametrization of rational ruled surfaces | 2011-03-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q3062085 | 2011-01-03 | Paper |
Generalizing circles over algebraic extensions | 2010-08-30 | Paper |
https://portal.mardi4nfdi.de/entity/Q3580109 | 2010-08-11 | Paper |
Plotting missing points and branches of real parametric curves | 2010-08-05 | Paper |
On protocols for the automated discovery of theorems in elementary geometry | 2010-02-01 | Paper |
On the simplification of the coefficients of a parametrization | 2009-01-20 | Paper |
Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems | 2008-04-01 | Paper |
Computational Science and Its Applications – ICCSA 2004 | 2007-09-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q5294223 | 2007-07-24 | Paper |
Automated Deduction in Geometry | 2006-10-20 | Paper |
From hypercircles to units | 2005-03-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4407976 | 2004-03-29 | Paper |
Does computer algebra help at all learning about real numbers? | 2003-08-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q4366941 | 2001-04-29 | Paper |
Spécialisation de la suite de Sturm | 2001-03-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4234337 | 1999-09-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q4226986 | 1999-08-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q4234237 | 1999-06-20 | Paper |
Advances on the simplification of sine-cosine equations | 1999-05-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q4238968 | 1999-04-20 | Paper |
A note on separated factors of separated polynomials | 1999-01-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q4361555 | 1998-11-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q4391225 | 1998-09-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q4373712 | 1998-08-19 | Paper |
Voronoi diagrams on orbifolds | 1998-06-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4341373 | 1998-02-03 | Paper |
Real reparametrizations of real curves | 1997-12-08 | Paper |
An implicitization algorithm with fewer variables | 1997-02-28 | Paper |
Reconsidering algorithms for real parametric curves | 1996-08-29 | Paper |
A rational function decomposition algorithm by near-separated polynomials | 1996-07-01 | Paper |
GEOMETRY OF BISECTORS FOR STRICTLY CONVEX DISTANCES | 1996-06-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q4843076 | 1996-04-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q4295694 | 1995-08-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q4315650 | 1995-05-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q4295686 | 1994-07-07 | Paper |
A note on Rabin's width of a complete proof | 1994-06-19 | Paper |
Path Tracking in Motion Planning | 1994-02-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q4011313 | 1992-09-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q3973344 | 1992-06-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q3352581 | 1991-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3353178 | 1990-01-01 | Paper |
Spécialisation de la suite de Sturm et sous-résultants (I) | 1990-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3495471 | 1990-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3826660 | 1989-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4729897 | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3772500 | 1987-01-01 | Paper |
Orders on real algebraic sets and analytic germs | 1984-01-01 | Paper |
A note on Robinson's non-negativity criterion | 1984-01-01 | Paper |
Ordered fields with the dense orbits property | 1983-01-01 | Paper |
Order extensions and real algebraic geometry | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3963119 | 1982-01-01 | Paper |