| Publication | Date of Publication | Type |
|---|
The DEWCAD project
ACM Communications in Computer Algebra | 2022-09-06 | Paper |
Efficient characterisation of large deviations using population dynamics
Journal of Statistical Mechanics: Theory and Experiment | 2021-03-02 | 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 |
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 |
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 |
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 |
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 |
Truth table invariant cylindrical algebraic decomposition
Journal of Symbolic Computation | 2016-02-19 | 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 |
A repository for CAD examples
ACM Communications in Computer Algebra | 2015-02-26 | Paper |
Geometry of branch cuts
ACM Communications in Computer Algebra | 2015-02-20 | 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 |
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 |
Speeding up cylindrical algebraic decomposition by Gröbner bases
Lecture Notes in Computer Science | 2012-09-07 | Paper |
Hermite normal forms for integer matrices
Lecture Notes in Computer Science | 2011-04-16 | Paper |
A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy
Lecture Notes in Computer Science | 2009-07-09 | Paper |
Testing elementary function identities using CAD
Applicable Algebra in Engineering, Communication and Computing | 2008-09-10 | 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 |
Reasoning about the elementary functions of complex analysis
Annals of Mathematics and Artificial Intelligence | 2002-08-19 | Paper |
| scientific article; zbMATH DE number 4069018 (Why is no real title available?) | 1988-01-01 | Paper |
A remark on factorisation
ACM SIGSAM Bulletin | 1985-01-01 | Paper |
