| 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 | 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 | 2024-09-24 | Paper |
| Clustering in the Lazard method for cylindrical algebraic decomposition | 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 | 2024-02-05 | 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 |
| 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 | 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 | 2022-10-13 | Paper |
| The DEWCAD project | 2022-09-06 | Paper |
| Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness | 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 | 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 | 2021-01-22 | Paper |
| A Case Study on the Parametric Occurrence of Multiple Steady States | 2020-09-09 | Paper |
| Cylindrical algebraic decomposition with equational constraints | 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 | 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 learning for mathematical software | 2018-08-17 | Paper |
| TheoryGuru: a Mathematica package to apply quantifier elimination technology to economics | 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 | 2017-09-29 | Paper |
| Branch cuts in maple 17 | 2017-06-26 | Paper |
| Satisfiability checking and symbolic computation | 2017-06-21 | 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 |
| $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation | 2016-08-30 | Paper |
| Truth table invariant cylindrical algebraic decomposition | 2016-02-19 | Paper |
| Recent Advances in Real Geometric Reasoning | 2015-11-11 | 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 |
| Abelian functions associated with genus three algebraic curves | 2014-07-11 | Paper |
| Optimising Problem Formulation for Cylindrical Algebraic Decomposition | 2013-08-09 | Paper |
| Understanding Branch Cuts of Expressions | 2013-08-09 | Paper |
| Generalised elliptic functions | 2013-02-18 | Paper |
| Building abelian functions with generalised Baker-Hirota operators | 2012-06-26 | Paper |
| Deriving bases for abelian functions | 2012-03-22 | Paper |
| Higher genus abelian functions associated with cyclic trigonal curves | 2010-05-17 | Paper |
| A genus six cyclic tetragonal reduction of the Benney equations | 2009-11-24 | Paper |
| Abelian functions associated with a cyclic tetragonal curve of genus six | 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 |
