| Publication | Date of Publication | Type |
|---|
Recent developments in real quantifier elimination and cylindrical algebraic decomposition (extended abstract of invited talk)
| 2025-01-10 | Paper |
The Liouville generator for producing integrable expressions
| 2025-01-10 | Paper |
Lessons on datasets and paradigms in machine learning for symbolic computation: a case study on CAD
Mathematics in Computer Science | 2024-12-16 | Paper |
Symbolic integration algorithm selection with machine learning: LSTMs vs tree LSTMs
| 2024-11-13 | Paper |
Constrained neural networks for interpretable heuristic creation to optimise computer algebra systems
| 2024-11-13 | Paper |
An iterated greedy algorithm with variable reconstruction size for the obnoxious \(p\)-median problem
International Transactions in Operational Research | 2024-09-24 | Paper |
Clustering in the Lazard method for cylindrical algebraic decomposition
ACM Communications in Computer Algebra | 2024-05-13 | Paper |
Generating Elementary Integrable Expressions
| 2024-05-03 | Paper |
Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition
Journal of Symbolic Computation | 2024-02-05 | 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 |
Data and analysis scripts for: Recent acceleration in global ocean heat accumulation by mode and intermediate waters
| 2023-10-03 | Dataset |
ACCESS-OM2 1° resolution global repeat decade full forcing interannual simulation data for 1972-2018
| 2023-09-20 | Dataset |
ACCESS-OM2 1° resolution global repeat decade forcing control simulation data for 1972-2018
| 2023-09-13 | Dataset |
An SMT solver for non-linear real arithmetic inside maple
ACM Communications in Computer Algebra | 2023-08-02 | Paper |
New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis
| 2022-12-21 | Paper |
A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs
Lecture Notes in Computer Science | 2022-10-13 | Paper |
The DEWCAD project
ACM Communications in Computer Algebra | 2022-09-06 | Paper |
Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness
Mathematical Aspects of Computer and Information Sciences | 2021-12-08 | Paper |
Trajectory files and metadata for 'Residence time of warm Circumpolar Deep Water on the Antarctic continental shelf'
| 2021-05-26 | Dataset |
Coherent and non-coherent Eddy Kinetic Energy and gridded coherent eddy statistics
| 2021-03-30 | Dataset |
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 |
Eddy Kinetic Energy and SST gradients global datasets and trends. Additionally, this dataset includes ocean basins and ocean processes masks.
| 2021-01-24 | Dataset |
Real quantifier elimination by cylindrical algebraic decomposition, and improvements by machine learning
Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation | 2021-01-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 |
Cylindrical algebraic decomposition with equational constraints
Journal of Symbolic Computation | 2020-03-24 | Paper |
Polynomial Superlevel Set Representation of the Multistationarity Region of Chemical Reaction Networks
| 2020-03-17 | Paper |
Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
| 2020-01-22 | 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 |
TheoryGuru: a Mathematica package to apply quantifier elimination technology to economics
| 2018-08-17 | Paper |
Machine learning for mathematical software
| 2018-08-17 | Paper |
Towards Incremental Cylindrical Algebraic Decomposition in Maple
| 2018-05-24 | Paper |
Symbolic versus numerical computation and visualization of parameter regions for multistationarity of biological networks
| 2018-02-23 | Paper |
Some new addition formulae for Weierstrass elliptic functions
Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2017-09-29 | 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 |
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 |
\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 |
Recent advances in real geometric reasoning
Automated Deduction in Geometry | 2015-11-11 | 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 |
Abelian functions associated with genus three algebraic curves
LMS Journal of Computation and Mathematics | 2014-07-11 | 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 |
Generalised elliptic functions
Central European Journal of Mathematics | 2013-02-18 | Paper |
Building abelian functions with generalised Baker-Hirota operators
SIGMA. Symmetry, Integrability and Geometry: Methods and Applications | 2012-06-26 | Paper |
Deriving bases for abelian functions
Computational Methods and Function Theory | 2012-03-22 | Paper |
Higher genus abelian functions associated with cyclic trigonal curves
SIGMA. Symmetry, Integrability and Geometry: Methods and Applications | 2010-05-17 | Paper |
A genus six cyclic tetragonal reduction of the Benney equations
Journal of Physics A: Mathematical and Theoretical | 2009-11-24 | Paper |
Abelian functions associated with a cyclic tetragonal curve of genus six
Journal of Physics A: Mathematical and Theoretical | 2009-03-20 | Paper |
Trajectory files for 'Floating debris and organisms can raft to Antarctic coasts from all major Southern Hemisphere landmasses'
| N/A | Dataset |
