| Publication | Date of Publication | Type |
|---|
| Proving an execution of an algorithm correct? | 2024-02-28 | Paper |
| Levelwise construction of a single cylindrical algebraic cell | 2024-02-05 | Paper |
| Iterated Resultants and Rational Functions in Real Quantifier Elimination | 2023-12-23 | Paper |
| Digital collections of examples in mathematical sciences | 2023-11-10 | Paper |
| Lazard-style CAD and Equational Constraints | 2023-11-03 | Paper |
| Lazard's CAD exploiting equality constraints | 2023-01-11 | Paper |
| Curtains in CAD: Why Are They a Problem and How Do We Fix Them? | 2022-10-13 | Paper |
| The DEWCAD project | 2022-09-06 | Paper |
| Improvements to quantum search techniques for block-ciphers, with applications to AES | 2022-03-25 | Paper |
| Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings | 2021-02-26 | Paper |
| MACHINE-ASSISTED PROOFS | 2020-09-22 | Paper |
| A Case Study on the Parametric Occurrence of Multiple Steady States | 2020-09-09 | Paper |
| Regular cylindrical algebraic decomposition | 2020-04-29 | Paper |
| Cylindrical algebraic decomposition with equational constraints | 2020-03-24 | Paper |
| Identifying the parametric occurrence of multiple steady states for some biological networks | 2020-01-15 | Paper |
| Using machine learning to improve cylindrical algebraic decomposition | 2019-11-27 | Paper |
| The Potential and Challenges of CAD with Equational Constraints for SC-Square | 2019-03-14 | Paper |
| Machine-Assisted Proofs (ICM 2018 Panel) | 2018-09-21 | Paper |
| TheoryGuru: a Mathematica package to apply quantifier elimination technology to economics | 2018-08-17 | Paper |
| What does ``without loss of generality mean, and how do we detect it | 2018-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5371217 | 2017-10-25 | Paper |
| Branch cuts in maple 17 | 2017-06-26 | Paper |
| Satisfiability checking and symbolic computation | 2017-06-21 | Paper |
| A Generalised Successive Resultants Algorithm | 2017-06-13 | Paper |
| Cylindrical algebraic decompositions for boolean combinations | 2017-02-10 | Paper |
| The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree | 2016-11-09 | Paper |
| Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition | 2016-09-29 | Paper |
| Need Polynomial Systems Be Doubly-Exponential? | 2016-09-28 | Paper |
| Complexity of Integration, Special Values, and Recent Developments | 2016-09-28 | Paper |
| $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation | 2016-08-30 | Paper |
| Truth table invariant cylindrical algebraic decomposition | 2016-02-19 | Paper |
| An exact real algebraic arithmetic with equality determination | 2015-11-26 | Paper |
| Recent Advances in Real Geometric Reasoning | 2015-11-11 | Paper |
| Triangular decomposition of semi-algebraic systems | 2015-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5502431 | 2015-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5502432 | 2015-08-26 | Paper |
| Adherence is better than adjacency | 2015-07-16 | Paper |
| Computing with semi-algebraic sets represented by triangular decomposition | 2015-06-09 | Paper |
| Small algorithms for small systems | 2015-02-26 | Paper |
| A repository for CAD examples | 2015-02-26 | Paper |
| Geometry of branch cuts | 2015-02-20 | Paper |
| Computing the real solutions of polynomial systems with the RegularChains library in Maple | 2015-02-20 | Paper |
| Attribute-Based Signatures with User-Controlled Linkability | 2015-02-10 | Paper |
| Cylindrical algebraic sub-decompositions | 2014-11-27 | Paper |
| Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition | 2014-09-08 | Paper |
| Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting | 2014-09-08 | Paper |
| Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains | 2014-09-08 | Paper |
| Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition | 2014-08-07 | Paper |
| Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition | 2014-08-07 | Paper |
| Optimising Problem Formulation for Cylindrical Algebraic Decomposition | 2013-08-09 | Paper |
| Understanding Branch Cuts of Expressions | 2013-08-09 | 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 |
| Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases | 2012-09-07 | Paper |
| Applications of computer algebra in solid modelling | 2011-04-16 | Paper |
| Polynomial factorisation: an exploration of Lenstra's algorithm | 2011-04-16 | Paper |
| The Challenges of Multivalued “Functions” | 2010-08-24 | Paper |
| Certificate-Free Attribute Authentication | 2010-01-07 | Paper |
| The freedom to extend OpenMath and its utility | 2009-09-18 | Paper |
| A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy | 2009-07-09 | Paper |
| Unifying Math Ontologies: A Tale of Two Standards | 2009-07-09 | Paper |
| AISC Meets Natural Typography | 2009-01-27 | Paper |
| Effective Set Membership in Computer Algebra and Beyond | 2009-01-27 | Paper |
| Unit Knowledge Management | 2009-01-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5301651 | 2009-01-20 | Paper |
| Algebraic properties of the LambertWfunction from a result of Rosenlicht and of Liouville | 2008-11-25 | Paper |
| Testing elementary function identities using CAD | 2008-09-10 | Paper |
| Cryptography and Coding | 2007-11-28 | Paper |
| What Might “Understand a Function” Mean? | 2007-11-28 | Paper |
| Mathematical Knowledge Management | 2005-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4660642 | 2005-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4660680 | 2005-04-04 | Paper |
| A poly-algorithmic approach to simplifying elementary functions | 2005-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3156395 | 2005-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4471946 | 2004-07-30 | Paper |
| Equality in computer algebra and beyond. | 2003-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4418130 | 2003-08-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413878 | 2003-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536341 | 2002-11-04 | Paper |
| Lattice Attacks on RSA-Encrypted IP and TCP | 2002-08-21 | Paper |
| Reasoning about the elementary functions of complex analysis | 2002-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4531982 | 2002-05-27 | Paper |
| Galois groups and the factorization of polynomials | 2002-05-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767936 | 2002-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4317287 | 2000-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4237368 | 1999-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4234232 | 1999-03-16 | Paper |
| The ``unknown in computer algebra | 1995-08-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4303119 | 1995-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4302494 | 1994-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3994492 | 1993-01-23 | Paper |
| Polynomials whose powers are sparse | 1991-01-01 | Paper |
| On finding the largest root of a polynomial | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3833611 | 1989-01-01 | Paper |
| Computer algebra applied to itself | 1988-01-01 | Paper |
| Real quantifier elimination is doubly exponential | 1988-01-01 | Paper |
| A Remark on a Paper by Wang: Another Surprising Property of 42 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3801671 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3810036 | 1988-01-01 | Paper |
| Elementary and Liouvillian solutions of linear differential equations | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3740226 | 1986-01-01 | Paper |
| A :20piano movers' ' | 1986-01-01 | Paper |
| The Risch Differential Equation Problem | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3833612 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4725740 | 1986-01-01 | Paper |
| An application of factoring | 1985-01-01 | Paper |
| A remark on factorisation | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3740227 | 1985-01-01 | Paper |
| On the parallel Risch Algorithm (II) | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3749151 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3783452 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3339160 | 1984-01-01 | Paper |
| Short Notes: Factoring Medium-Sized Integers | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3716288 | 1984-01-01 | Paper |
| Intégration algorithmique des fonctions élémentairement transcendantes sur une courbe algébrique | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3219759 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3219760 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3325027 | 1982-01-01 | Paper |
| On the parallel Risch algorithm (III) | 1982-01-01 | Paper |
| P-adic reconstruction of rational numbers | 1982-01-01 | Paper |
| On the integration of algebraic functions | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3939229 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3939801 | 1981-01-01 | Paper |
| Anatomy of an integral | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4184331 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4193581 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4199045 | 1979-01-01 | Paper |
