| Publication | Date of Publication | Type |
|---|
| Computing the integer points of a polyhedron | 2023-03-03 | Paper |
| Subresultant chains using Bézout matrices | 2022-12-21 | Paper |
| Computing the integer hull of convex polyhedral sets | 2022-12-21 | Paper |
| Power series arithmetic with the BPAS library | 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 |
| The polyhedra library in m <scp>aple</scp> | 2018-08-03 | Paper |
| CUMODP | 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 |
| Real Root Isolation of Regular Chains | 2016-04-12 | Paper |
| An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions | 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 |
| Regular Chains under Linear Changes of Coordinates and Applications | 2015-11-25 | Paper |
| A Standard Basis Free Algorithm for Computing the Tangent Cones of a Space Curve | 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 |
| Computing with semi-algebraic sets represented by triangular decomposition | 2015-06-09 | Paper |
| Algorithms for computing triangular decompositions of polynomial systems | 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 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 |
| Cache friendly sparse matrix-vector multiplication | 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 |
| Real Quantifier Elimination in the RegularChains Library | 2014-09-08 | Paper |
| Cylindrical Algebraic Decomposition in the RegularChains Library | 2014-09-08 | Paper |
| Doing Algebraic Geometry with the RegularChains Library | 2014-09-08 | Paper |
| Solving Parametric Polynomial Systems by RealComprehensiveTriangularize | 2014-09-08 | Paper |
| The Basic Polynomial Algebra Subprograms | 2014-09-08 | Paper |
| Dense Arithmetic over Finite Fields with the CUMODP Library | 2014-09-08 | Paper |
| Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains | 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 Implementation of Polynomial Arithmetic in a Multiple-Level Programming Environment | 2010-09-14 | Paper |
| Efficient Evaluation of Large Polynomials | 2010-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3568131 | 2010-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3568138 | 2010-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5188226 | 2010-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5188269 | 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 |
| The complete root classification of a parametric polynomial on an interval | 2009-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5301624 | 2009-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5301681 | 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 |
| https://portal.mardi4nfdi.de/entity/Q3447184 | 2007-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3416657 | 2007-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3416684 | 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 |
