| Publication | Date of Publication | Type |
|---|
| Design and implementation of multi-threaded algorithms in polynomial algebra | 2025-01-20 | Paper |
| Counting the integer points of parametric polytopes: a Maple implementation | 2025-01-10 | Paper |
| A Modular Algorithm for Computing the Intersection of a One-Dimensional Quasi-Component and a Hypersurface | 2024-05-03 | Paper |
| Computing the integer points of a polyhedron | 2023-03-03 | Paper |
| Computing the integer hull of convex polyhedral sets | 2022-12-21 | Paper |
| Power series arithmetic with the BPAS library | 2022-12-21 | Paper |
| Subresultant chains using Bézout matrices | 2022-12-21 | Paper |
| Complexity estimates for Fourier-Motzkin elimination | 2022-12-21 | Paper |
| Employing C++ templates in the design of a computer algebra library | 2022-10-13 | Paper |
| Parallelization of triangular decompositions: techniques and implementation | 2022-09-22 | Paper |
| Computational schemes for subresultant chains | 2022-03-24 | Paper |
| On the complexity and parallel implementation of Hensel's lemma and Weierstrass preparation | 2022-03-24 | Paper |
| Towards extending Fulton's algorithm for computing intersection multiplicities beyond the bivariate case | 2022-03-24 | Paper |
| On the pseudo-periodicity of the integer hull of parametric convex polygons | 2022-03-24 | Paper |
| Comprehensive LU Factors of Polynomial Matrices | 2021-12-08 | Paper |
| A short contribution to the theory of regular chains | 2021-06-25 | Paper |
| On the parallelization of triangular decompositions | 2021-01-22 | Paper |
| Big Prime Field FFT on Multi-core Processors | 2020-09-10 | Paper |
| On the extended Hensel construction and its application to the computation of limit points | 2020-09-09 | Paper |
| Big prime field FFT on the GPU | 2020-09-09 | Paper |
| Symbolic-numeric integration of rational functions | 2020-04-22 | Paper |
| On the extended Hensel construction and its application to the computation of real limit points | 2020-01-15 | Paper |
| An equivalence theorem for regular differential chains | 2019-03-21 | Paper |
| Jordan canonical form with parameters from Frobenius form with parameters | 2019-03-14 | Paper |
| Sparse polynomial arithmetic with the BPAS library | 2018-10-23 | Paper |
| CUMODP | 2018-08-03 | Paper |
| The \texttt{Polyhedra} library in \textsc{Maple} | 2018-08-03 | Paper |
| Computing the integer points of a polyhedron. I: Algorithm | 2018-02-23 | Paper |
| Computing the integer points of a polyhedron. II: Complexity estimates | 2018-02-23 | Paper |
| Symbolic-Numeric Integration of Rational Functions | 2017-12-05 | Paper |
| Computing limits with the regularchains and powerseries libraries | 2017-06-22 | Paper |
| The basic polynomial algebra subprograms | 2017-06-22 | Paper |
| Real limit points of quasi-componenets of regular chains | 2017-06-21 | Paper |
| Computing limits of real multivariate rational functions | 2017-05-10 | Paper |
| PARDI! | 2017-02-03 | Paper |
| On computer-assisted classification of coupled integrable equations | 2017-02-03 | Paper |
| An incremental algorithm for computing cylindrical algebraic decompositions | 2016-04-12 | Paper |
| Real root isolation of regular chains | 2016-04-12 | Paper |
| Degree and dimension estimates for invariant ideals of \(P\)-solvable recurrences | 2016-04-12 | Paper |
| Quantifier elimination by cylindrical algebraic decomposition based on regular chains | 2016-02-11 | Paper |
| A standard basis free algorithm for computing the tangent cones of a space curve | 2015-11-25 | Paper |
| Regular chains under linear changes of coordinates and applications | 2015-11-25 | Paper |
| Simplification of Cylindrical Algebraic Formulas | 2015-11-25 | Paper |
| Quantifier elimination by cylindrical algebraic decomposition based on regular chains | 2015-11-11 | Paper |
| Triangular decomposition of semi-algebraic systems | 2015-09-17 | Paper |
| Lifting techniques for triangular decompositions | 2015-07-16 | Paper |
| Algorithms for computing triangular decompositions of polynomial systems | 2015-06-09 | Paper |
| Computing with semi-algebraic sets represented by triangular decomposition | 2015-06-09 | Paper |
| Basic polynomial algebra subprograms | 2015-03-18 | Paper |
| The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple | 2015-02-26 | Paper |
| Cache friendly sparse matrix-vector multiplication | 2015-02-20 | Paper |
| Cache complexity and multicore implementation for univariate real root isolation | 2015-02-20 | Paper |
| Complexity and performance results for non FFT-based univariate polynomial multiplication | 2015-02-20 | Paper |
| Almost linear time operations with triangular sets | 2015-02-20 | Paper |
| Solving bivariate polynomial systems on a GPU | 2015-02-20 | Paper |
| Inverting matrices modulo regular chains | 2015-02-20 | Paper |
| Computing the real solutions of polynomial systems with the RegularChains library in Maple | 2015-02-20 | Paper |
| Dense Arithmetic over Finite Fields with the CUMODP Library | 2014-09-08 | Paper |
| Cylindrical algebraic decomposition in the RegularChains library | 2014-09-08 | Paper |
| Solving parametric polynomial systems by RealComprehensiveTriangularize | 2014-09-08 | Paper |
| Real quantifier elimination in the RegularChains library | 2014-09-08 | Paper |
| Doing algebraic geometry with the RegularChains library | 2014-09-08 | Paper |
| Truth table invariant cylindrical algebraic decomposition by regular chains | 2014-09-08 | Paper |
| The basic polynomial algebra subprograms | 2014-09-08 | Paper |
| On the parallelization of subproduct tree techniques targeting many-core architectures | 2014-09-08 | Paper |
| Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition | 2014-08-07 | Paper |
| Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One | 2014-07-07 | Paper |
| An application of regular chain theory to the study of limit cycles | 2013-12-13 | Paper |
| On solving parametric polynomial systems | 2013-04-25 | Paper |
| Computing with semi-algebraic sets: relaxation techniques and effective boundaries | 2013-03-11 | Paper |
| Triangular decomposition of semi-algebraic systems | 2013-01-10 | Paper |
| On Fulton’s Algorithm for Computing Intersection Multiplicities | 2012-09-21 | Paper |
| Inversion modulo zero-dimensional regular chains | 2012-09-21 | Paper |
| Computing cylindrical algebraic decomposition via triangular decomposition | 2012-05-13 | Paper |
| Computations modulo regular chains | 2012-05-13 | Paper |
| Algorithms for computing triangular decomposition of polynomial systems | 2012-05-07 | Paper |
| Generating Program Invariants via Interpolation | 2012-01-24 | Paper |
| When does \(\langle T \rangle\) equal \(\text{sat}(T)\)? | 2011-12-19 | Paper |
| BALANCED DENSE POLYNOMIAL MULTIPLICATION ON MULTI-CORES | 2011-10-10 | Paper |
| Semi-algebraic description of the equilibria of dynamical systems | 2011-09-02 | Paper |
| The \texttt{modpn} library: bringing fast polynomial arithmetic into \texttt{Maple} | 2011-06-01 | Paper |
| Efficient evaluation of large polynomials | 2010-09-14 | Paper |
| Efficient implementation of polynomial arithmetic in a multiple-level programming environment | 2010-09-14 | Paper |
| On the complexity of the D5 principle | 2010-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3568131 | 2010-06-17 | Paper |
| Intersection formulas and algorithms for computing triangular decompositions | 2010-03-10 | Paper |
| Real root isolation of regular chains | 2010-03-10 | Paper |
| Computing differential characteristic sets by change of ordering | 2009-11-06 | Paper |
| Fast arithmetic for triangular sets: from theory to practice | 2009-06-18 | Paper |
| Fast arithmetic for triangular sets: from theory to practice | 2009-01-20 | Paper |
| When does \((T)\) equal \(\mathrm{sat}(T)\)? | 2009-01-20 | Paper |
| The complete root classification of a parametric polynomial on an interval | 2009-01-20 | Paper |
| Comprehensive Triangular Decomposition | 2008-07-01 | Paper |
| A bound for the Rosenfeld-Gröbner algorithm | 2008-06-11 | Paper |
| Change of order for regular chains in positive dimension | 2008-03-11 | Paper |
| On approximate triangular decompositions in dimension zero | 2008-02-13 | Paper |
| On approximate linearized triangular decompositions | 2007-06-28 | Paper |
| The RegularChains library in Maple 10 | 2007-01-22 | Paper |
| Change of ordering for regular chains in positive dimension | 2007-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4660698 | 2005-04-04 | Paper |
| On computer-assisted classification of coupled integrable equations | 2002-09-17 | Paper |
| On the theories of triangular sets | 2000-09-05 | Paper |
| Triangular sets for solving polynomial systems: a comparative implementation of four methods | 2000-09-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4352810 | 1999-04-29 | Paper |
