| Publication | Date of Publication | Type |
|---|
| msolve. A library for solving polynomial systems | 2025-01-20 | Paper |
| Computing the dimension of real algebraic sets | 2025-01-20 | Paper |
| Faster one block quantifier elimination for regular polynomial systems of equations | 2025-01-20 | Paper |
| Algorithms for discrete differential equations of order 1 | 2025-01-17 | Paper |
| Exact SOHS decompositions of trigonometric univariate polynomials with Gaussian coefficients | 2025-01-17 | Paper |
| Faster change of order algorithm for Gröbner bases under shape and stability assumptions | 2025-01-17 | Paper |
| Deciding cuspidality of manipulators through computer algebra and algorithms in real algebraic geometry | 2025-01-17 | Paper |
| On the degree of varieties of sum of squares | 2024-03-20 | Paper |
| Refined F5 Algorithms for Ideals of Minors of Square Matrices | 2023-11-03 | Paper |
| A Direttissimo Algorithm for Equidimensional Decomposition | 2023-11-03 | Paper |
| Fast Algorithms for Discrete Differential Equations | 2023-11-03 | Paper |
| Stability analysis of a bacterial growth model through computer algebra | 2023-11-03 | Paper |
| Faster real root decision algorithm for symmetric polynomials | 2023-11-03 | Paper |
| Computing roadmaps in unbounded smooth real algebraic sets. I: Connectivity results | 2023-08-10 | Paper |
| Computer algebra methods for polynomial system solving at the service of image-based visual servoing | 2023-08-02 | Paper |
| Towards signature-based gröbner basis algorithms for computing the nondegenerate locus of a polynomial system | 2023-08-02 | Paper |
| A signature-based algorithm for computing the nondegenerate locus of a polynomial system | 2023-06-29 | Paper |
| Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients | 2023-03-30 | Paper |
| Algebraic certificates for the truncated moment problem | 2023-02-14 | Paper |
| Computing critical points for invariant algebraic systems | 2022-11-21 | Paper |
| Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics | 2022-09-22 | Paper |
| Towards fast one-block quantifier elimination through generalised critical values | 2022-09-06 | Paper |
| Gröbner bases and critical values: the asymptotic combinatorics of determinantal systems | 2022-04-28 | Paper |
| Solving parametric systems of polynomial equations over the reals through Hermite matrices | 2022-03-21 | Paper |
| Deciding Cuspidality of Manipulators through Computer Algebra and Algorithms in Real Algebraic Geometry | 2022-03-09 | Paper |
| New efficient algorithms for computing Gr\"obner bases of saturation ideals (F4SAT) and colon ideals (Sparse-FGLM-colon) | 2022-02-27 | Paper |
| Faster change of order algorithm for Gr\"obner bases under shape and stability assumptions | 2022-02-18 | Paper |
| Guessing Gröbner bases of structured ideals of relations of sequences | 2022-01-17 | Paper |
| Complete singularity analysis for the perspective-four-point problem | 2021-12-02 | Paper |
| Homotopy techniques for solving sparse column support determinantal polynomial systems | 2021-09-02 | Paper |
| On exact Reznick, Hilbert-Artin and Putinar's representations | 2021-06-03 | Paper |
| Polynomial interrupt timed automata: verification and expressiveness | 2021-04-13 | Paper |
| Solving determinantal systems using homotopy techniques | 2021-02-18 | Paper |
| Exact algorithms for semidefinite programs with degenerate feasible set | 2021-02-18 | Paper |
| Computing the real isolated points of an algebraic hypersurface | 2021-01-22 | Paper |
| Robots, computer algebra and eight connected components | 2021-01-22 | Paper |
| Connectivity in Semi-Algebraic Sets I | 2020-11-04 | Paper |
| Computing real radicals and \(S\)-radicals of polynomial systems | 2020-09-19 | Paper |
| Computing the Volume of Compact Semi-Algebraic Sets | 2020-09-10 | Paper |
| On the Complexity of Computing Real Radicals of Polynomial Systems | 2020-09-09 | Paper |
| On Exact Polya and Putinar's Representations | 2020-09-09 | Paper |
| Real Root Finding for Equivariant Semi-algebraic Systems | 2020-09-09 | Paper |
| Exact algorithms for semidefinite programs with degenerate feasible set | 2020-09-09 | Paper |
| Real root finding for low rank linear matrices | 2020-04-28 | Paper |
| R <scp>eal</scp> c <scp>ertify</scp> | 2019-03-29 | Paper |
| Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials | 2019-03-21 | Paper |
| A Nearly Optimal Algorithm for Deciding Connectivity Queries in Smooth and Bounded Real Algebraic Sets | 2018-08-02 | Paper |
| A Lower Bound on the Positive Semidefinite Rank of Convex Bodies | 2018-06-12 | Paper |
| Bit complexity for multi-homogeneous polynomial system solving -- application to polynomial minimization | 2018-01-12 | Paper |
| Polynomial interrupt timed automata | 2017-10-27 | Paper |
| Critical Point Computations on Smooth Varieties | 2017-05-10 | Paper |
| Determinantal Sets, Singularities and Application to Optimal Control in Medical Imagery | 2017-05-10 | Paper |
| On the complexity of computing gröbner bases for quasi-homogeneous systems | 2017-02-10 | Paper |
| Computing rational solutions of linear matrix inequalities | 2017-02-10 | Paper |
| Exact algorithms for linear matrix inequalities | 2016-11-23 | Paper |
| Probabilistic algorithm for computing the dimension of real algebraic sets | 2016-09-29 | Paper |
| Real root finding for rank defects in linear Hankel matrices | 2016-09-29 | Paper |
| Optimizing a parametric linear function over a non-compact real algebraic variety | 2016-09-29 | Paper |
| On the complexity of computing Gröbner bases for weighted homogeneous systems | 2016-02-19 | Paper |
| Real root finding for determinants of linear matrices | 2015-12-08 | Paper |
| Computing necessary integrability conditions for planar parametrized homogeneous potentials | 2015-11-11 | Paper |
| Computing loci of rank defects of linear matrices using Gröbner bases and applications to cryptology | 2015-09-17 | Paper |
| Global optimization of polynomials using generalized critical values and sums of squares | 2015-09-17 | Paper |
| Deciding reachability of the infimum of a multivariate polynomial | 2015-06-09 | Paper |
| Critical points and Gröbner bases | 2015-03-27 | Paper |
| A baby step-giant step roadmap algorithm for general algebraic sets | 2015-01-16 | Paper |
| Probabilistic Algorithm for Polynomial Optimization over a Real Algebraic Set | 2014-12-12 | Paper |
| Intrinsic complexity estimates in polynomial optimization | 2014-07-15 | Paper |
| On the complexity of the generalized MinRank problem | 2014-01-08 | Paper |
| Variant quantifier elimination | 2012-05-23 | Paper |
| Variant real quantifier elimination: algorithm and application | 2012-05-13 | Paper |
| Global optimization of polynomials restricted to a smooth variety using sums of squares | 2012-05-04 | Paper |
| Computing Rational Points in Convex Semialgebraic Sets and Sum of Squares Decompositions | 2011-03-21 | Paper |
| A baby steps/giant steps probabilistic algorithm for computing roadmaps in smooth bounded real hypersurface | 2011-03-10 | Paper |
| Gröbner bases of bihomogeneous ideals generated by polynomials of bidegree \((1,1)\): algorithms and complexity | 2011-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3568151 | 2010-06-17 | Paper |
| On the geometry of polar varieties | 2010-03-01 | Paper |
| The Voronoi diagram of three lines | 2009-07-06 | Paper |
| The Voronoi diagram of three lines | 2009-02-12 | Paper |
| Practical and Theoretical Issues for the Computation of Generalized Critical Values of a Polynomial Mapping | 2009-01-29 | Paper |
| Classification of the perspective-three-point problem, discriminant variety and real solving polynomial systems of inequalities | 2009-01-20 | Paper |
| Computing the global optimum of a multivariate polynomial over the reals | 2009-01-20 | Paper |
| Testing sign conditions on a multivariate polynomial and applications | 2008-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4660671 | 2005-04-04 | Paper |
| Properness defects and projections and computation of at least one point in each connected component of a real algebraic set | 2005-01-25 | 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 |
| New structure theorem for subresultants | 2001-09-12 | Paper |
| Computing roadmaps in unbounded smooth real algebraic sets II: algorithm and complexity | N/A | Paper |
| "Optimized Gr\""obner basis algorithms for maximal determinantal ideals and critical point computations" | N/A | Paper |
| Solving parameter-dependent semi-algebraic systems | N/A | Paper |
