Abelian functions associated with genus three algebraic curves. - J. Chris Eilbeck; Matthew England 001; Yoshihiro Ônishi (LMS J. Comput. Math., 2011)

Program Verification in the Presence of Complex Numbers, Functions with Branch Cuts etc. - James H. Davenport; Russell J. Bradford; Matthew England 001; David J. Wilson (SYNASC, 2012)

Cylindrical algebraic decompositions for boolean combinations. - Russell J. Bradford; James H. Davenport; Matthew England 001; Scott McCallum; David J. Wilson (ISSAC, 2013)

Optimising Problem Formulation for Cylindrical Algebraic Decomposition. - Russell J. Bradford; James H. Davenport; Matthew England 001; David J. Wilson (MKM/Calculemus/DML, 2013)

Understanding Branch Cuts of Expressions. - Matthew England 001; Russell J. Bradford; James H. Davenport; David J. Wilson (MKM/Calculemus/DML, 2013)

A "Piano Movers" Problem Reformulated. - David J. Wilson; James H. Davenport; Matthew England 001; Russell J. Bradford (SYNASC, 2013)

An implementation of CAD in Maple utilising problem formulation, equational constraints and truth-table invariance. - Matthew England 001 (CoRR, 2013)

An implementation of CAD in Maple utilising McCallum projection - Matthew England 001 (CoRR, 2013)

Recent Advances in Real Geometric Reasoning. - James H. Davenport; Matthew England 001 (ADG, 2014)

Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains. - Russell J. Bradford; Changbo Chen; James H. Davenport; Matthew England 001; Marc Moreno Maza; David J. Wilson (CASC, 2014)

Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition. - Matthew England 001; Russell J. Bradford; James H. Davenport; David J. Wilson (ICMS, 2014)

Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting. - Matthew England 001; David J. Wilson; Russell J. Bradford; James H. Davenport (ICMS, 2014)

Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition. - Matthew England 001; Russell J. Bradford; Changbo Chen; James H. Davenport; Marc Moreno Maza; David J. Wilson (CICM, 2014)

Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition. - Zongyan Huang; Matthew England 001; David J. Wilson; James H. Davenport; Lawrence C. Paulson; James P. Bridge (CICM, 2014)

Using the Distribution of Cells by Dimension in a Cylindrical Algebraic Decomposition. - David J. Wilson; Matthew England 001; Russell J. Bradford; James H. Davenport (SYNASC, 2014)

Branch cuts in maple 17. - Matthew England 001; Edgardo S. Cheb-Terrab; Russell J. Bradford; James H. Davenport; David J. Wilson (ACM Commun. Comput. Algebra, 2014)

A Comparison of Three Heuristics to Choose the Variable Ordering for Cylindrical Algebraic Decomposition. - Zongyan Huang; Matthew England 001; David J. Wilson; James H. Davenport; Lawrence C. Paulson (ACM Commun. Comput. Algebra, 2014)

Formulating problems for real algebraic geometry. - Matthew England 001 (CoRR, 2014)

A comparison of three heuristics to choose the variable ordering for CAD. - Zongyan Huang; Matthew England 001; David J. Wilson; James H. Davenport; Lawrence C. Paulson (CoRR, 2014)

Cylindrical Algebraic Sub-Decompositions. - David J. Wilson; Russell J. Bradford; James H. Davenport; Matthew England 001 (Math. Comput. Sci., 2014)

Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition. - Matthew England 001; Russell J. Bradford; James H. Davenport (ISSAC, 2015)

Report on the 40th International Symposium on Symbolic and Algebraic Computation. - Matthew England 001 (ACM Commun. Comput. Algebra, 2015)

An implementation of Sub-CAD in Maple. - Matthew England 001; David J. Wilson (CoRR, 2015)

The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree. - Matthew England 001; James H. Davenport (CASC, 2016)

Need Polynomial Systems Be Doubly-Exponential? - James H. Davenport; Matthew England 001 (ICMS, 2016)

SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper). - Erika Ábrahám; John Abbott; Bernd Becker 001; Anna Maria Bigatti; Martin Brain; Bruno Buchberger; Alessandro Cimatti; James H. Davenport; Matthew England 001; Pascal Fontaine; Stephen Forrest; Alberto Griggio; et al. (CICM, 2016)

Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition. - Matthew England 001; James H. Davenport (SC²@SYNASC, 2016)

Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition with Groebner Bases. - Zongyan Huang; Matthew England 001; James H. Davenport; Lawrence C. Paulson (SYNASC, 2016)

Satisfiability checking and symbolic computation. - Erika Ábrahám; John Abbott; Bernd Becker 001; Anna Maria Bigatti; Martin Brain; Bruno Buchberger; Alessandro Cimatti; James H. Davenport; Matthew England 001; Pascal Fontaine; Stephen Forrest; Alberto Griggio; et al. (ACM Commun. Comput. Algebra, 2016)

Satisfiability Checking meets Symbolic Computation (Project Paper). - Erika Ábrahám; John Abbott; Bernd Becker 001; Anna Maria Bigatti; Martin Brain; Bruno Buchberger; Alessandro Cimatti; James H. Davenport; Matthew England 001; Pascal Fontaine; Stephen Forrest; Alberto Griggio; et al. (CoRR, 2016)

Truth table invariant cylindrical algebraic decomposition. - Russell J. Bradford; James H. Davenport; Matthew England 001; Scott McCallum; David J. Wilson (J. Symb. Comput., 2016)

Arabic language sentiment analysis on health services. - Abdulaziz M. Alayba; Vasile Palade; Matthew England 001; Rahat Iqbal (ASAR, 2017)

SC-square: when Satisfiability Checking and Symbolic Computation join forces. - Erika Ábrahám; John Abbott; Bernd Becker 001; Anna Maria Bigatti; Martin Brain; Alessandro Cimatti; James H. Davenport; Matthew England 001; Pascal Fontaine; Stephen Forrest; Vijay Ganesh 001; Alberto Griggio; et al. (ARCADE@CADE, 2017)

Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks. - Matthew England 001; Hassan Errami; Dima Grigoriev; Ovidiu Radulescu; Thomas Sturm 001; Andreas Weber 004 (CASC, 2017)

A Case Study on the Parametric Occurrence of Multiple Steady States. - Russell J. Bradford; James H. Davenport; Matthew England 001; Hassan Errami; Vladimir P. Gerdt; Dima Grigoriev; Charles Tapley Hoyt; Marek Kosta; Ovidiu Radulescu; Thomas Sturm 001; Andreas Weber 004 (ISSAC, 2017)

Preface. - Matthew England 001; Vijay Ganesh 001 (SC²@ISSAC, 2017)

The Potential and Challenges of CAD with Equational Constraints for SC-Square. - James H. Davenport; Matthew England 001 (MACIS, 2017)

Improving Sentiment Analysis in Arabic Using Word Representation. - Abdulaziz M. Alayba; Vasile Palade; Matthew England 001; Rahat Iqbal (ASAR, 2018)

A Combined CNN and LSTM Model for Arabic Sentiment Analysis. - Abdulaziz M. Alayba; Vasile Palade; Matthew England 001; Rahat Iqbal (CD-MAKE, 2018)

Machine Learning for Mathematical Software. - Matthew England 001 (ICMS, 2018)

TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics. - Casey B. Mulligan; James H. Davenport; Matthew England 001 (ICMS, 2018)

Towards Incremental Cylindrical Algebraic Decomposition in Maple. - Alexander I. Cowen-Rivers; Matthew England 001 (SC-Square@FLOC, 2018)

Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics. - Casey B. Mulligan; Russell J. Bradford; James H. Davenport; Matthew England 001; Zak Tonks (SC-Square@FLOC, 2018)

OpenMath and SMT-LIB. - James H. Davenport; Matthew England 001; Roberto Sebastiani; Patrick Trentin (CoRR, 2018)

Summer Research Report: Towards Incremental Lazard Cylindrical Algebraic Decomposition. - Alexander Imani Cowen-Rivers; Matthew England 001 (CoRR, 2018)

Quantifier Elimination for Reasoning in Economics. - Casey B. Mulligan; Russell J. Bradford; James H. Davenport; Matthew England 001; Zak Tonks (CoRR, 2018)

Using Machine Learning to Improve Cylindrical Algebraic Decomposition. - Zongyan Huang; Matthew England 001; David J. Wilson; James H. Davenport; Lawrence C. Paulson (CoRR, 2018)

TheoryGuru: A Mathematica Package to apply Quantifier Elimination. - Casey B. Mulligan; James Harold Davenport; Matthew England 001 (CoRR, 2018)

Datset of automated economic reasoning problems for QE / SMT. - Casey B. Mulligan; Russell J. Bradford; James H. Davenport; Matthew England 001; Zak Tonks (Zenodo, 2018)

Datset of automated economic reasoning problems for QE / SMT. - Casey B. Mulligan; Russell J. Bradford; James H. Davenport; Matthew England 001; Zak Tonks (Zenodo, 2018)

Computing with Codio at Coventry University: Online virtual Linux boxes and automated formative feedback. - David Croft 005; Matthew England 001 (CEP, 2019)

Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness. - Dorian Florescu; Matthew England 001 (MACIS, 2019)

Machine Learning to Improve Cylindrical Algebraic Decomposition in Maple. - Matthew England 001; Dorian Florescu (MC, 2019)

Comparing Machine Learning Models to Choose the Variable Ordering for Cylindrical Algebraic Decomposition. - Matthew England 001; Dorian Florescu (CICM, 2019)

Algorithmically Generating New Algebraic Features of Polynomial Systems for Machine Learning. - Dorian Florescu; Matthew England 001 (SC-square@SIAM AG, 2019)

PLIT: An alignment-free computational tool for identification of long non-coding RNAs in plant transcriptomic datasets. - Sumukh Deshpande; James Shuttleworth; Jianhua Yang; Sandy Taramonli; Matthew England 001 (Comput. Biol. Medicine, 2019)

Using Machine Learning to Improve Cylindrical Algebraic Decomposition. - Zongyan Huang; Matthew England 001; David J. Wilson; James P. Bridge; James H. Davenport; Lawrence C. Paulson (Math. Comput. Sci., 2019)

New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract). - Erika Ábrahám; James H. Davenport; Matthew England 001; Gereon Kremer; Zak Tonks (PAAR+SC²@IJCAR, 2020)

Computing with CodeRunner at Coventry University: Automated summative assessment of Python and C++ code. - David Croft 005; Matthew England 001 (CEP, 2020)

First Year Computer Science Projects at Coventry University: Activity-led integrative team projects with continuous assessment. - Simon Billings; Matthew England 001 (CEP, 2020)

A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs. - Dorian Florescu; Matthew England 001 (ICMS, 2020)

Real quantifier elimination by cylindrical algebraic decomposition, and improvements by machine learning. - Matthew England 001 (ISSAC, 2020)

New Opportunities for the Formal Proof of Computational Real Geometry? - Erika Ábrahám; James H. Davenport; Matthew England 001; Gereon Kremer; Zak Tonks (CoRR, 2020)

Identifying the parametric occurrence of multiple steady states for some biological networks. - Russell J. Bradford; James H. Davenport; Matthew England 001; Hassan Errami; Vladimir P. Gerdt; Dima Grigoriev; Charles Tapley Hoyt; Marek Kosta; Ovidiu Radulescu; Thomas Sturm 001; Andreas Weber 004 (J. Symb. Comput., 2020)

Symbolic computation and satisfiability checking. - James H. Davenport; Matthew England 001; Alberto Griggio; Thomas Sturm 001; Cesare Tinelli (J. Symb. Comput., 2020)

Cylindrical algebraic decomposition with equational constraints. - Matthew England 001; Russell J. Bradford; James H. Davenport (J. Symb. Comput., 2020)

Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic. - Erika Ábrahám; James H. Davenport; Matthew England 001; Gereon Kremer (ARCADE@CADE, 2021)

SC-Square: Overview to 2021 (invited paper). - Matthew England 001 (SC-Square@SIAM AG, 2021)

SC-Square: Future Progress with Machine Learning? (invited paper). - Matthew England 001 (SC-Square@SIAM AG, 2021)

On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving. - Gereon Kremer; Erika Ábrahám; Matthew England 001; James H. Davenport (SYNASC, 2021)

The DEWCAD project: pushing back the doubly exponential wall of cylindrical algebraic decomposition. - Russell J. Bradford; James H. Davenport; Matthew England 001; AmirHosein Sadeghimanesh; Ali Kemal Uncu (ACM Commun. Comput. Algebra, 2021)

LIFT: lncRNA identification and function-prediction tool. - Sumukh Deshpande; James Shuttleworth; Jianhua Yang; Sandy Taramonli; Matthew England 001 (Int. J. Bioinform. Res. Appl., 2021)

Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings. - Erika Ábrahám; James H. Davenport; Matthew England 001; Gereon Kremer (J. Log. Algebraic Methods Program., 2021)

Foreword, with a Dedication to Vladimir Gerdt. - Matthew England 001; François Boulier; Timur M. Sadykov 001; Thomas Sturm 001 (Math. Comput. Sci., 2021)

Foreword, with a Dedication to Andreas Weber. - Matthew England 001; Wolfram Koepf; Timur M. Sadykov 001; Werner M. Seiler; Thomas Sturm 001 (Math. Comput. Sci., 2021)

New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis. - Tereso del Río; Matthew England 001 (CASC, 2022)

Feedback and Engagement on an Introductory Programming Module. - Beate Grawemeyer; John Halloran 001; Matthew England 001; David Croft 005 (CEP, 2022)

SMT-Solving Induction Proofs of Inequalities. - Ali Kemal Uncu; James H. Davenport; Matthew England 001 (SC-Square@FLoC, 2022)

Polynomial superlevel set representation of the multistationarity region of chemical reaction networks. - AmirHosein Sadeghimanesh; Matthew England 001 (BMC Bioinform., 2022)

An SMT solver for non-linear real arithmetic inside maple. - AmirHosein Sadeghimanesh; Matthew England 001 (ACM Commun. Comput. Algebra, 2022)

Resultant Tools for Parametric Polynomial Systems with Application to Population Models. - AmirHosein Sadeghimanesh; Matthew England 001 (CoRR, 2022)

SC-Square: Overview to 2021. - Matthew England 001 (CoRR, 2022)

SC-Square: Future Progress with Machine Learning? - Matthew England 001 (CoRR, 2022)

New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072). - Erika Ábrahám; James H. Davenport; Matthew England 001; Alberto Griggio (Dagstuhl Reports, 2022)

Foreword. - Matthew England 001; François Boulier; Timur M. Sadykov 001; Thomas Sturm 001 (Math. Comput. Sci., 2022)

Generating Elementary Integrable Expressions. - Rashid Barket; Matthew England 001; Jürgen Gerhard (CASC, 2023)

Data Augmentation for Mathematical Objects. - Tereso del Río; Matthew England 001 (SC-Square@ISSAC, 2023)

Iterated Resultants in CAD. - James H. Davenport; Matthew England 001 (CoRR, 2023)

Iterated Resultants and Rational Functions in Real Quantifier Elimination. - James H. Davenport; Matthew England 001; Scott McCallum; Ali Kemal Uncu (CoRR, 2023)

SMT-Solving Induction Proofs of Inequalities Benchmarking Repository. - Ali Kemal Uncu; James H. Davenport; Matthew England 001 (Zenodo, 2023)

Clustering in the Lazard method for Cylindrical Algebraic Decomposition. - Tereso del Río; AmirHosein Sadeghimanesh; Matthew England 001 (ACM Commun. Comput. Algebra, 2023)

The Liouville Generator for Producing Integrable Expressions. - Rashid Barket; Matthew England 001; Jürgen Gerhard (CASC, 2024)

Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition (Extended Abstract of Invited Talk). - Matthew England 001 (CASC, 2024)

Symbolic Integration Algorithm Selection with Machine Learning: LSTMs Vs Tree LSTMs. - Rashid Barket; Matthew England 001; Jürgen Gerhard (ICMS, 2024)

Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems. - Dorian Florescu; Matthew England 001 (ICMS, 2024)

On Projective Delineability. - Lucas Michel; Jasper Nalbach; Pierre Mathonet; Naïm Zénaïdi; Christopher W. Brown 001; Erika Ábrahám; James H. Davenport; Matthew England 001 (SYNASC, 2024)

Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition. - Matthew England 001 (CoRR, 2024)

Transformers to Predict the Applicability of Symbolic Integration Routines. - Rashid Barket; Uzma Shafiq; Matthew England 001; Jürgen Gerhard (CoRR, 2024)

Levelwise construction of a single cylindrical algebraic cell. - Jasper Nalbach; Erika Ábrahám; Philippe Specht; Christopher W. Brown 001; James H. Davenport; Matthew England 001 (J. Symb. Comput., 2024)

Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition. - Lynn Pickering; Tereso del Rio Almajano; Matthew England 001; Kelly Cohen (J. Symb. Comput., 2024)

Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD. - Tereso del Río; Matthew England 001 (Math. Comput. Sci., 2024)

An iterated greedy algorithm with variable reconstruction size for the obnoxious p-median problem. - Seyed R. Mousavi; Soni Bhambar; Matthew England 001 (Int. Trans. Oper. Res., 2025)

Predicting At-Risk Programming Students in Small Imbalanced Datasets using Synthetic Data. - Daniel Flood; Matthew England 001; Beate Grawemeyer (CoRR, 2025)

Projective Delineability for Single Cell Construction. - Jasper Nalbach; Lucas Michel; Erika Ábrahám; Christopher W. Brown 001; James H. Davenport; Matthew England 001; Pierre Mathonet; Naïm Zénaïdi (CoRR, 2025)

Tree-Based Deep Learning for Ranking Symbolic Integration Algorithms. - Rashid Barket; Matthew England 001; Jürgen Gerhard (CoRR, 2025)