| Publication | Date of Publication | Type |
|---|
| Erratum for “Global Identifiability of Differential Models” | 2024-01-23 | Paper |
| SIAN | 2023-03-03 | Paper |
| Parametric "Non-nested" Discriminants for Multiplicities of Univariate Polynomials | 2022-12-31 | Paper |
| Subresultant of several univariate polynomials | 2021-12-31 | Paper |
| A framework for improving uniformity of parameterizations of curves | 2021-12-15 | Paper |
| Maximum gap in cyclotomic polynomials | 2021-09-06 | Paper |
| A condition for multiplicity structure of univariate polynomials | 2021-02-18 | Paper |
| Global Identifiability of Differential Models | 2020-11-13 | Paper |
| Connectivity in Semi-Algebraic Sets I | 2020-11-04 | Paper |
| Number of Real Critical Points of Cyclotomic Polynomials | 2019-12-27 | Paper |
| Open weak CAD and its applications | 2019-01-21 | Paper |
| Algorithm for computing \(\mu\)-bases of univariate polynomials | 2019-01-21 | Paper |
| Positive solutions of systems of signed parametric polynomial inequalities | 2018-10-23 | Paper |
| Number of common roots and resultant of two tropical univariate polynomials | 2018-08-21 | Paper |
| Locating and Counting Equilibria of the Kuramoto Model with Rank-One Coupling | 2018-02-14 | Paper |
| Explicit expression for a family of ternary cyclotomic polynomials | 2018-01-03 | Paper |
| Improving root separation bounds | 2017-08-24 | Paper |
| Block Structure of Cyclotomic Polynomials | 2017-04-13 | Paper |
| Degree-optimal moving frames for rational curves | 2017-03-08 | Paper |
| Lower Bounds for Maximum Gap in (Inverse) Cyclotomic Polynomials | 2017-02-24 | Paper |
| Resultants over commutative idempotent semirings. I: Algebraic aspect | 2017-02-03 | Paper |
| An algebraic method for constructing stable and consistent autoregressive filters | 2016-12-20 | Paper |
| ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves | 2016-04-12 | Paper |
| Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation) | 2016-02-11 | Paper |
| Quality of positive root bounds | 2015-12-08 | Paper |
| Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation) | 2015-11-11 | Paper |
| On using Lazard's projection in CAD construction | 2015-08-19 | Paper |
| Explicit formula for optimal ate pairing over cyclotomic family of elliptic curves | 2015-06-10 | Paper |
| Special algorithm for stability analysis of multistable biological regulatory systems | 2015-05-04 | Paper |
| Improving angular speed uniformity by reparameterization | 2014-04-04 | Paper |
| Pairing Inversion via Non-degenerate Auxiliary Pairings | 2014-02-18 | Paper |
| Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization | 2013-09-20 | Paper |
| Object-image correspondence for algebraic curves under projections | 2013-07-04 | Paper |
| Simple and exact formula for minimum loop length in \(\mathrm{Ate}_{i }\) pairing based on Brezing-Weng curves | 2013-04-03 | Paper |
| Improving Angular Speed Uniformity by Optimal C 0 Piecewise Reparameterization | 2012-09-21 | Paper |
| Maximum gap in (inverse) cyclotomic polynomial | 2012-08-30 | Paper |
| Variant quantifier elimination | 2012-05-23 | Paper |
| Variant real quantifier elimination | 2012-05-13 | Paper |
| Solution formulas for cubic equations without or with constraints | 2011-06-29 | Paper |
| Sylvester's double sums: the general case | 2009-07-01 | Paper |
| Solving Dynamic Geometric Constraints Involving Inequalities | 2009-01-15 | Paper |
| Corrigendum to ``Are Buchberger's criteria necessary for the chain condition? [J. Symbolic Comput. 42 (2007) 717-732] | 2008-11-18 | Paper |
| Are Buchberger's criteria necessary for the chain condition? | 2008-02-13 | Paper |
| Bruno Buchberger -- a life devoted to symbolic computation (Preface to the special issue) | 2007-10-23 | Paper |
| An elementary proof of Sylvester's double sums for subresultants | 2007-10-23 | Paper |
| Note on Jacobi's method for approximating dominant roots | 2007-08-24 | Paper |
| An efficient method for analyzing the topology of plane real algebraic curves. | 2003-05-27 | Paper |
| Ore principal subresultant coefficients in solutions | 2002-12-05 | Paper |
| Ore subresultant coefficients in solutions | 2002-12-05 | Paper |
| Sparse resultant of composed polynomials. I: Mixed-unmixed case. | 2002-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4234207 | 2001-07-16 | Paper |
| Algorithms for trigonometric curves (simplification, implicitization, parameterization) | 1999-11-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4227327 | 1999-10-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4265391 | 1999-10-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4234240 | 1999-08-23 | Paper |
| Testing positiveness of polynomials | 1999-06-29 | Paper |
| Bounds for absolute positiveness of multivariate polynomials | 1999-06-07 | Paper |
| Groebner basis under composition. I | 1998-11-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4391228 | 1998-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4352823 | 1998-09-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4391219 | 1998-09-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4391220 | 1998-09-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4391221 | 1998-09-13 | Paper |
| Testing stability by quantifier elimination | 1998-04-20 | Paper |
| Heuristic search and pruning in polynomial constraints satisfaction | 1998-01-07 | Paper |
| Implicitization of nested circular curves | 1997-08-10 | Paper |
| Subresultants under composition | 1997-08-10 | Paper |
| The design of the SACLIB/PACLIB kernels | 1996-03-27 | Paper |
| Bernstein form is inclusion monotone | 1996-03-05 | Paper |
| Safe starting regions by fixed points and tightening | 1994-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4279515 | 1994-11-29 | Paper |
| Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants | 1993-12-05 | Paper |
| Partial cylindrical algebraic decomposition for quantifier elimination | 1992-06-28 | Paper |
