By Scientia Professor Matthew Heathcote England

Preprints

Barket R; England M; Gerhard J, 2023, Generating Elementary Integrable Expressions, https://doi.org/10.1007/978-3-031-41724-5_2

Pickering L; Almajano TDR; England M; Cohen K, 2023, Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition, https://doi.org/10.1016/j.jsc.2023.102276

Nalbach J; Ábrahám E; Specht P; Brown CW; Davenport JH; England M, 2022, Levelwise construction of a single cylindrical algebraic cell, https://doi.org/10.1016/j.jsc.2023.102288

England M, 2022, SC-Square: Future Progress with Machine Learning?, https://arxiv.org/abs/2209.04361v1

England M, 2022, SC-Square: Overview to 2021, https://arxiv.org/abs/2209.04359v1

Río TD; England M, 2022, New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis, https://doi.org/10.1007/978-3-031-14788-3_17

Sadeghimanesh A; England M, 2022, Resultant Tools for Parametric Polynomial Systems with Application to Mathematical Biology, https://arxiv.org/abs/2201.13189v3

Grawemeyer B; Halloran J; England M; Croft D, 2022, Feedback and Engagement on an Introductory Programming Module, https://arxiv.org/abs/2201.01240v1

Menviel L; Waugh DW; Spence P; Chamberlain M; Lago V; Li Z; England MH, 2021, Natural carbon release compensates for anthropogenic carbon uptake when Southern Hemispheric westerlies strengthen, http://dx.doi.org/10.1002/essoar.10508109.1

Abraham E; Davenport JH; England M; Kremer G, 2021, Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic, https://arxiv.org/abs/2108.05320v1

Bradford R; Davenport JH; England M; Sadeghimanesh A; Uncu A, 2021, The DEWCAD Project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition, https://doi.org/10.1145/3511528.3511538

Florescu D; England M, 2020, A machine learning based software pipeline to pick the variable ordering for algorithms with polynomial inputs, https://doi.org/10.1007/978-3-030-52200-1_30

brahám EÁ; Davenport J; England M; Kremer G; Tonks Z, 2020, New Opportunities for the Formal Proof of Computational Real Geometry?, https://arxiv.org/abs/2004.04034v1

Sadeghimanesh A; England M, 2020, Polynomial Superlevel Set Representation of the Multistationarity Region of Chemical Reaction Networks, https://doi.org/10.1186/s12859-022-04921-6

Ábrahám E; Davenport JH; England M; Kremer G, 2020, Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings, https://doi.org/10.1016/j.jlamp.2020.100633

Florescu D; England M, 2019, Improved cross-validation for classifiers that make algorithmic choices to minimise runtime without compromising output correctness, https://doi.org/10.1007/978-3-030-43120-4_27

Croft D; England M, 2019, Computing with CodeRunner at Coventry University: Automated summative assessment of Python and C++ code, https://doi.org/10.1145/3372356.3372357

Billings S; England M, 2019, First Year Computer Science Projects at Coventry University: Activity-led integrative team projects with continuous assessment, https://doi.org/10.1145/3372356.3372358

Florescu D; England M, 2019, Algorithmically generating new algebraic features of polynomial systems for machine learning, https://arxiv.org/abs/1906.01455v1

England M; Florescu D, 2019, Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition, https://doi.org/10.1007/978-3-030-23250-4_7

England M; Bradford R; Davenport JH, 2019, Cylindrical Algebraic Decomposition with Equational Constraints, https://doi.org/10.1016/j.jsc.2019.07.019

Bradford R; Davenport JH; England M; Errami H; Gerdt V; Grigoriev D; Hoyt C; Kosta M; Radulescu O; Sturm T; Weber A, 2019, Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks, https://doi.org/10.1016/j.jsc.2019.07.008

Deshpande S; Shuttleworth J; Yang J; Taramonli S; England M, 2019, PLIT: An alignment-free computational tool for identification of long non-coding RNAs in plant transcriptomic datasets, https://doi.org/10.1016/j.compbiomed.2018.12.014

Croft D; England M, 2018, Computing with Codio at Coventry University: Online virtual Linux boxes and automated formative feedback, https://doi.org/10.1145/3294016.3294018

Alayba AM; Palade V; England M; Iqbal R, 2018, A Combined CNN and LSTM Model for Arabic Sentiment Analysis, https://doi.org/10.1007/978-3-319-99740-7_12

England M, 2018, Machine Learning for Mathematical Software, https://doi.org/10.1007/978-3-319-96418-8_20

Mulligan C; Bradford R; Davenport JH; England M; Tonks Z, 2018, Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics, https://arxiv.org/abs/1806.11447v1

Mulligan C; Davenport JH; England M, 2018, TheoryGuru: A Mathematica Package to apply Quantifier Elimination, https://doi.org/10.1007/978-3-319-96418-8_44

Cowen-Rivers AI; England M, 2018, Towards Incremental Cylindrical Algebraic Decomposition in Maple, https://arxiv.org/abs/1805.10136v1

Mulligan CB; Bradford R; Davenport JH; England M; Tonks Z, 2018, Quantifier Elimination for Reasoning in Economics, https://arxiv.org/abs/1804.10037v2

Huang Z; England M; Wilson D; Davenport JH; Paulson LC, 2018, Using Machine Learning to Improve Cylindrical Algebraic Decomposition, https://doi.org/10.1007/s11786-019-00394-8

Cowen-Rivers AI; England M, 2018, Summer Research Report: Towards Incremental Lazard Cylindrical Algebraic Decomposition, https://arxiv.org/abs/1804.08564v1

Davenport JH; England M; Sebastiani R; Trentin P, 2018, OpenMath and SMT-LIB, https://arxiv.org/abs/1803.01592v1

Alayba AM; Palade V; England M; Iqbal R, 2018, Improving Sentiment Analysis in Arabic Using Word Representation, https://doi.org/10.1109/ASAR.2018.8480191

Davenport JH; England M, 2017, The Potential and Challenges of CAD with Equational Constraints for SC-Square, https://doi.org/10.1007/978-3-319-72453-9_22

England M; Errami H; Grigoriev D; Radulescu O; Sturm T; Weber A, 2017, Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks, https://doi.org/10.1007/978-3-319-66320-3_8

Bradford R; Davenport JH; England M; Errami H; Gerdt V; Grigoriev D; Hoyt C; Kosta M; Radulescu O; Sturm T; Weber A, 2017, A Case Study on the Parametric Occurrence of Multiple Steady States, https://doi.org/10.1145/3087604.3087622

Alayba AM; Palade V; England M; Iqbal R, 2017, Arabic Language Sentiment Analysis on Health Services, https://doi.org/10.1109/ASAR.2017.8067771

England M; Davenport JH, 2016, Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition, https://arxiv.org/abs/1609.09269v1

Huang Z; England M; Davenport JH; Paulson LC, 2016, Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases, https://doi.org/10.1109/SYNASC.2016.020

Abraham E; Abbott J; Becker B; Bigatti AM; Brain M; Buchberger B; Cimatti A; Davenport JH; England M; Fontaine P; Forrest S; Griggio A; Kroening D; Seiler WM; Sturm T, 2016, Satisfiability Checking meets Symbolic Computation (Project Paper), https://doi.org/10.1007/978-3-319-42547-4_3

Abraham E; Abbott J; Becker B; Bigatti AM; Brain M; Buchberger B; Cimatti A; Davenport JH; England M; Fontaine P; Forrest S; Griggio A; Kroening D; Seiler WM; Sturm T, 2016, Satisfiability Checking and Symbolic Computation, https://doi.org/10.1145/3055282.3055285

Davenport JH; England M, 2016, Need Polynomial Systems be Doubly-exponential?, https://doi.org/10.1007/978-3-319-42432-3_20

England M; Davenport JH, 2016, The complexity of cylindrical algebraic decomposition with respect to polynomial degree, https://doi.org/10.1007/978-3-319-45641-6_12

Davenport JH; England M, 2015, Recent Advances in Real Geometric Reasoning, https://doi.org/10.1007/978-3-319-21362-0_3

England M; Wilson D, 2015, An implementation of Sub-CAD in Maple, https://arxiv.org/abs/1503.06599v1

England M; Bradford R; Davenport JH, 2015, Improving the use of equational constraints in cylindrical algebraic decomposition, https://doi.org/10.1145/2755996.2756678

Wilson D; England M; Bradford R; Davenport JH, 2014, Using the distribution of cells by dimension in a cylindrical algebraic decomposition, https://doi.org/10.1109/SYNASC.2014.15

Huang Z; England M; Wilson D; Davenport JH; Paulson LC, 2014, A comparison of three heuristics to choose the variable ordering for CAD, https://doi.org/10.1145/2733693.2733706

England M; Bradford R; Davenport JH; Wilson D, 2014, Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition, https://doi.org/10.1007/978-3-662-44199-2_68

Back to profile page