| Publication | Date of Publication | Type |
|---|
Iterated resultants and rational functions in real quantifier elimination
Mathematics in Computer Science | 2026-01-06 | Paper |
Proving an execution of an algorithm correct?
Lecture Notes in Computer Science | 2024-02-28 | Paper |
Levelwise construction of a single cylindrical algebraic cell
Journal of Symbolic Computation | 2024-02-05 | Paper |
| Iterated Resultants and Rational Functions in Real Quantifier Elimination | 2023-12-23 | Paper |
Digital collections of examples in mathematical sciences
European Congress of Mathematics | 2023-11-10 | Paper |
Lazard-style CAD and Equational Constraints
Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation | 2023-11-03 | Paper |
| SMT-Solving Induction Proofs of Inequalities Benchmarking Repository | 2023-03-28 | Dataset |
Lazard's CAD exploiting equality constraints
ACM Communications in Computer Algebra | 2023-01-11 | Paper |
Curtains in CAD: Why Are They a Problem and How Do We Fix Them?
Lecture Notes in Computer Science | 2022-10-13 | Paper |
The DEWCAD project
ACM Communications in Computer Algebra | 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
Journal of Logical and Algebraic Methods in Programming | 2021-02-26 | Paper |
Machine-assisted proofs
Proceedings of the International Congress of Mathematicians (ICM 2018) | 2020-09-22 | Paper |
A case study on the parametric occurrence of multiple steady states
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
Regular cylindrical algebraic decomposition
Journal of the London Mathematical Society | 2020-04-29 | Paper |
Cylindrical algebraic decomposition with equational constraints
Journal of Symbolic Computation | 2020-03-24 | Paper |
Identifying the parametric occurrence of multiple steady states for some biological networks
Journal of Symbolic Computation | 2020-01-15 | Paper |
Using machine learning to improve cylindrical algebraic decomposition
Mathematics in Computer Science | 2019-11-27 | Paper |
The Potential and Challenges of CAD with Equational Constraints for SC-Square
Mathematical Aspects of Computer and Information Sciences | 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
(available as arXiv preprint) | 2018-08-17 | Paper |
| Datset of automated economic reasoning problems for QE / SMT | 2018-04-23 | Dataset |
What does ``without loss of generality'' mean, and how do we detect it
Mathematics in Computer Science | 2018-02-27 | Paper |
| scientific article; zbMATH DE number 6797642 (Why is no real title available?) | 2017-10-25 | Paper |
Branch cuts in Maple 17
ACM Communications in Computer Algebra | 2017-06-26 | Paper |
Branch cuts in Maple 17
ACM Communications in Computer Algebra | 2017-06-26 | Paper |
Satisfiability checking and symbolic computation
ACM Communications in Computer Algebra | 2017-06-21 | Paper |
Satisfiability checking and symbolic computation
ACM Communications in Computer Algebra | 2017-06-21 | Paper |
A generalized successive resultants algorithm
Arithmetic of Finite Fields | 2017-06-13 | Paper |
Cylindrical algebraic decompositions for Boolean combinations
Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation | 2017-02-10 | Paper |
Cylindrical algebraic decompositions for Boolean combinations
Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation | 2017-02-10 | Paper |
The complexity of cylindrical algebraic decomposition with respect to polynomial degree
Computer Algebra in Scientific Computing | 2016-11-09 | Paper |
Improving the use of equational constraints in cylindrical algebraic decomposition
Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation | 2016-09-29 | Paper |
Need polynomial systems be doubly-exponential?
Mathematical Software – ICMS 2016 | 2016-09-28 | Paper |
Complexity of integration, special values, and recent developments
Mathematical Software – ICMS 2016 | 2016-09-28 | Paper |
\textsf{SC}\(^2\): satisfiability checking meets symbolic computation. (Project paper)
Lecture Notes in Computer Science | 2016-08-30 | Paper |
Truth table invariant cylindrical algebraic decomposition
Journal of Symbolic Computation | 2016-02-19 | Paper |
An exact real algebraic arithmetic with equality determination
Proceedings of the 2000 international symposium on Symbolic and algebraic computation | 2015-11-26 | Paper |
Recent advances in real geometric reasoning
Automated Deduction in Geometry | 2015-11-11 | Paper |
Triangular decomposition of semi-algebraic systems
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation | 2015-09-17 | Paper |
| scientific article; zbMATH DE number 6476009 (Why is no real title available?) | 2015-08-26 | Paper |
| What does mathematical notation actually mean, and how can computers process it? | 2015-08-26 | Paper |
Adherence is better than adjacency: computing the Riemann index using CAD
Proceedings of the 2005 international symposium on Symbolic and algebraic computation | 2015-07-16 | Paper |
Computing with semi-algebraic sets represented by triangular decomposition
Proceedings of the 36th international symposium on Symbolic and algebraic computation | 2015-06-09 | Paper |
A repository for CAD examples
ACM Communications in Computer Algebra | 2015-02-26 | Paper |
Small algorithms for small systems
ACM Communications in Computer Algebra | 2015-02-26 | Paper |
Geometry of branch cuts
ACM Communications in Computer Algebra | 2015-02-20 | Paper |
Computing the real solutions of polynomial systems with the RegularChains library in Maple
ACM Communications in Computer Algebra | 2015-02-20 | Paper |
Attribute-based signatures with user-controlled linkability
Cryptology and Network Security | 2015-02-10 | Paper |
Cylindrical algebraic sub-decompositions
Mathematics in Computer Science | 2014-11-27 | Paper |
Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition
Mathematical Software – ICMS 2014 | 2014-09-08 | Paper |
Using the Regular Chains library to build cylindrical algebraic decompositions by projecting and lifting
Mathematical Software – ICMS 2014 | 2014-09-08 | Paper |
Truth table invariant cylindrical algebraic decomposition by regular chains
Computer Algebra in Scientific Computing | 2014-09-08 | Paper |
Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition
Lecture Notes in Computer Science | 2014-08-07 | Paper |
Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition
Lecture Notes in Computer Science | 2014-08-07 | Paper |
Optimising problem formulation for cylindrical algebraic decomposition
Lecture Notes in Computer Science | 2013-08-09 | Paper |
Understanding branch cuts of expressions
Lecture Notes in Computer Science | 2013-08-09 | Paper |
Computing with semi-algebraic sets: relaxation techniques and effective boundaries
Journal of Symbolic Computation | 2013-03-11 | Paper |
Triangular decomposition of semi-algebraic systems
Journal of Symbolic Computation | 2013-01-10 | Paper |
Speeding up cylindrical algebraic decomposition by Gröbner bases
Lecture Notes in Computer Science | 2012-09-07 | Paper |
Polynomial factorisation: an exploration of Lenstra's algorithm
Lecture Notes in Computer Science | 2011-04-16 | Paper |
Applications of computer algebra in solid modelling
Lecture Notes in Computer Science | 2011-04-16 | Paper |
The challenges of multivalued ``functions''
Lecture Notes in Computer Science | 2010-08-24 | Paper |
Certificate-free attribute authentication
Cryptography and Coding | 2010-01-07 | Paper |
The freedom to extend OpenMath and its utility
Mathematics in Computer Science | 2009-09-18 | Paper |
Unifying Math Ontologies: A Tale of Two Standards
Lecture Notes in Computer Science | 2009-07-09 | Paper |
A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy
Lecture Notes in Computer Science | 2009-07-09 | Paper |
Effective Set Membership in Computer Algebra and Beyond
Lecture Notes in Computer Science | 2009-01-27 | Paper |
Unit Knowledge Management
Lecture Notes in Computer Science | 2009-01-27 | Paper |
AISC Meets Natural Typography
Lecture Notes in Computer Science | 2009-01-27 | Paper |
| The complexity of quantifier elimination and cylindrical algebraic decomposition | 2009-01-20 | Paper |
Algebraic properties of the Lambert<i>W</i>function from a result of Rosenlicht and of Liouville
Integral Transforms and Special Functions | 2008-11-25 | Paper |
Testing elementary function identities using CAD
Applicable Algebra in Engineering, Communication and Computing | 2008-09-10 | Paper |
Cryptography and Coding
Lecture Notes in Computer Science | 2007-11-28 | Paper |
What Might “Understand a Function” Mean?
Towards Mechanized Mathematical Assistants | 2007-11-28 | Paper |
Mathematical Knowledge Management
Lecture Notes in Computer Science | 2005-08-26 | Paper |
| scientific article; zbMATH DE number 2151213 (Why is no real title available?) | 2005-04-04 | Paper |
| scientific article; zbMATH DE number 2151178 (Why is no real title available?) | 2005-04-04 | Paper |
A poly-algorithmic approach to simplifying elementary functions
Proceedings of the 2004 international symposium on Symbolic and algebraic computation | 2005-03-14 | Paper |
| scientific article; zbMATH DE number 2125575 (Why is no real title available?) | 2005-01-07 | Paper |
| scientific article; zbMATH DE number 2079837 (Why is no real title available?) | 2004-07-30 | Paper |
Equality in computer algebra and beyond.
Journal of Symbolic Computation | 2003-08-21 | Paper |
| scientific article; zbMATH DE number 1961544 (Why is no real title available?) | 2003-08-07 | Paper |
| scientific article; zbMATH DE number 1951626 (Why is no real title available?) | 2003-07-21 | Paper |
| scientific article; zbMATH DE number 1759393 (Why is no real title available?) | 2002-11-04 | Paper |
Lattice Attacks on RSA-Encrypted IP and TCP
Cryptography and Coding | 2002-08-21 | Paper |
Reasoning about the elementary functions of complex analysis
Annals of Mathematics and Artificial Intelligence | 2002-08-19 | Paper |
| scientific article; zbMATH DE number 1746035 (Why is no real title available?) | 2002-05-27 | Paper |
Galois groups and the factorization of polynomials
Programming and Computer Software | 2002-05-08 | Paper |
| Mathematical knowledge representation. (Extended abstract) | 2002-02-14 | Paper |
| scientific article; zbMATH DE number 703992 (Why is no real title available?) | 2000-06-21 | Paper |
| scientific article; zbMATH DE number 1273638 (Why is no real title available?) | 1999-09-26 | Paper |
| scientific article; zbMATH DE number 1263352 (Why is no real title available?) | 1999-03-16 | Paper |
The ``unknown'' in computer algebra
Programming and Computer Software | 1995-08-01 | Paper |
| scientific article; zbMATH DE number 622671 (Why is no real title available?) | 1995-03-05 | Paper |
| scientific article; zbMATH DE number 621810 (Why is no real title available?) | 1994-08-21 | Paper |
| scientific article; zbMATH DE number 41264 (Why is no real title available?) | 1993-01-23 | Paper |
Polynomials whose powers are sparse
Acta Arithmetica | 1991-01-01 | Paper |
On finding the largest root of a polynomial
ESAIM: Mathematical Modelling and Numerical Analysis | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4110093 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4069018 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4079782 (Why is no real title available?) | 1988-01-01 | Paper |
Real quantifier elimination is doubly exponential
Journal of Symbolic Computation | 1988-01-01 | Paper |
Computer algebra applied to itself
Journal of Symbolic Computation | 1988-01-01 | Paper |
A Remark on a Paper by Wang: Another Surprising Property of 42
Mathematics of Computation | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3999281 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4110094 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3974285 (Why is no real title available?) | 1986-01-01 | Paper |
A :20piano movers' '
ACM SIGSAM Bulletin | 1986-01-01 | Paper |
The Risch Differential Equation Problem
SIAM Journal on Computing | 1986-01-01 | Paper |
Elementary and Liouvillian solutions of linear differential equations
Journal of Symbolic Computation | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3985371 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 4046992 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3974286 (Why is no real title available?) | 1985-01-01 | Paper |
A remark on factorisation
ACM SIGSAM Bulletin | 1985-01-01 | Paper |
On the parallel Risch Algorithm (II)
ACM Transactions on Mathematical Software | 1985-01-01 | Paper |
An application of factoring
Journal of Symbolic Computation | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3872545 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3945339 (Why is no real title available?) | 1984-01-01 | Paper |
Short Notes: Factoring Medium-Sized Integers
The Computer Journal | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3887067 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3887066 (Why is no real title available?) | 1983-01-01 | Paper |
Intégration algorithmique des fonctions élémentairement transcendantes sur une courbe algébrique
Annales de l’institut Fourier | 1983-01-01 | Paper |
Intégration algorithmique des fonctions élémentairement transcendantes sur une courbe algébrique
Annales de l’institut Fourier | 1983-01-01 | Paper |
Intégration algorithmique des fonctions élémentairement transcendantes sur une courbe algébrique
Annales de l’institut Fourier | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3856396 (Why is no real title available?) | 1982-01-01 | Paper |
P-adic reconstruction of rational numbers
ACM SIGSAM Bulletin | 1982-01-01 | Paper |
On the parallel Risch algorithm (III)
ACM SIGSAM Bulletin | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3755863 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3756473 (Why is no real title available?) | 1981-01-01 | Paper |
On the integration of algebraic functions
Lecture Notes in Computer Science | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3621128 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3638276 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3632643 (Why is no real title available?) | 1979-01-01 | Paper |
Anatomy of an integral
ACM SIGSAM Bulletin | 1979-01-01 | Paper |
