| Publication | Date of Publication | Type |
|---|
| On Isolating Roots in a Multiple Field Extension | 2023-11-03 | Paper |
| \texttt{PTOPO}: computing the geometry and the topology of parametric curves | 2022-09-22 | Paper |
| PTOPO | 2022-09-06 | Paper |
| Bounds for polynomials on algebraic numbers and application to curve topology | 2022-03-22 | Paper |
| On the geometry and the topology of parametric curves | 2021-01-22 | Paper |
| Symbolic Methods for Solving Algebraic Systems of Equations and Applications for Testing the Structural Stability | 2020-09-08 | Paper |
| Certified non-conservative tests for the structural stability of discrete multidimensional systems | 2019-07-12 | Paper |
| Comments on “A Blind Signal Separation Method for Multiuser Communications” | 2018-06-12 | Paper |
| Computing Chebyshev knot diagrams | 2017-11-22 | Paper |
| On the topology of planar algebraic curves | 2017-10-20 | Paper |
| Computing Real Roots of Real Polynomials ... and now For Real! | 2017-05-10 | Paper |
| Bivariate triangular decompositions in the presence of asymptotes | 2017-02-24 | Paper |
| Rational univariate representations of bivariate systems and applications | 2017-02-10 | Paper |
| Separating linear forms for bivariate systems | 2017-02-10 | Paper |
| Solving bivariate systems using rational univariate representations | 2016-10-17 | Paper |
| On the sign of a trigonometric expression | 2016-09-29 | Paper |
| Character Varieties For : The Figure Eight Knot | 2016-04-22 | Paper |
| Improved algorithm for computing separating linear forms for bivariate systems | 2015-11-11 | Paper |
| On the computation of the topology of plane curves | 2015-11-11 | Paper |
| Representations of fundamental groups of 3-manifolds into \(\mathrm{PGL}(3,\mathbb C)\): exact computations in low complexity | 2015-08-03 | Paper |
| Separating linear forms and rational univariate representations of bivariate systems | 2014-12-09 | Paper |
| Local Rigidity for -Representations of 3-Manifold Groups | 2014-05-13 | Paper |
| On the topology of real algebraic plane curves | 2011-02-19 | Paper |
| The first rational Chebyshev knots | 2010-11-19 | Paper |
| On Solving Systems of Bivariate Polynomials | 2010-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5188278 | 2010-03-10 | Paper |
| Computing Chebyshev knot diagrams | 2010-01-28 | Paper |
| Automated Deduction in Geometry | 2009-06-04 | Paper |
| Classification of the perspective-three-point problem, discriminant variety and real solving polynomial systems of inequalities | 2009-01-20 | Paper |
| Ridges and umbilics of polynomial parametric surfaces | 2008-03-06 | Paper |
| Using computer algebra to certify the global convergence of a numerical optimization process | 2008-01-22 | Paper |
| Solving parametric polynomial systems | 2007-10-26 | Paper |
| The implicit structure of ridges of a smooth parametric surface | 2006-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5290272 | 2006-04-28 | Paper |
| Motivations for an arbitrary precision interval arithmetic and the MPFI library | 2005-11-07 | Paper |
| Efficient isolation of polynomial's real roots. | 2004-01-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4428721 | 2003-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4790454 | 2003-06-01 | Paper |
| Real solving for positive dimensional systems. | 2003-04-02 | Paper |
| Finding at least one point in each connected component of a real algebraic set defined by a single equation | 2003-04-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4531853 | 2002-05-23 | Paper |
| Solving zero-dimensional systems through the rational univariate representation | 2000-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4238959 | 1999-04-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4238962 | 1999-04-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4343590 | 1997-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4847450 | 1995-09-20 | Paper |
| Reading Rational Univariate Representations on lexicographic Groebner bases | N/A | Paper |
