By Scientia Professor Matthew Heathcote England

Preprints

England M, 2018, Machine Learning for Mathematical Software, http://dx.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, http://arxiv.org/abs/1806.11447v1

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

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

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

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

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

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

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

Naughten KA; Meissner KJ; Galton-Fenzi BK; England MH; Timmermann R; Hellmer HH; Hattermann T; Debernard JB, 2017, Intercomparison of Antarctic ice shelf, ocean, and sea ice interactions simulated by two models, http://dx.doi.org/10.5194/gmd-2017-268

Davenport JH; England M, 2017, The Potential and Challenges of CAD with Equational Constraints for SC-Square, http://dx.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, http://dx.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, http://dx.doi.org/10.1145/3087604.3087622

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

England M; Davenport JH, 2016, Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition, http://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, http://dx.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), http://dx.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, http://dx.doi.org/10.1145/3055282.3055285

Davenport JH; England M, 2016, Need Polynomial Systems be Doubly-exponential?, http://dx.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, http://dx.doi.org/10.1007/978-3-319-45641-6_12

Sijp WP; England MH, 2015, The effect of low ancient greenhouse climate temperature gradients on the ocean's overturning circulation, http://dx.doi.org/10.5194/cpd-11-4787-2015

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

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

England M; Bradford R; Davenport JH, 2015, Improving the use of equational constraints in cylindrical algebraic decomposition, http://dx.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, http://dx.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, http://dx.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, http://dx.doi.org/10.1007/978-3-662-44199-2_68

England M; Wilson D; Bradford R; Davenport JH, 2014, Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting, http://dx.doi.org/10.1007/978-3-662-44199-2_69

England M, 2014, Formulating problems for real algebraic geometry, http://arxiv.org/abs/1405.3461v1

Huang Z; England M; Wilson D; Davenport JH; Paulson LC; Bridge J, 2014, Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition, http://dx.doi.org/10.1007/978-3-319-08434-3_8

England M; Bradford R; Chen C; Davenport JH; Maza MM; Wilson D, 2014, Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition, http://dx.doi.org/10.1007/978-3-319-08434-3_5

Bradford R; Chen C; Davenport JH; England M; Maza MM; Wilson D, 2014, Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains, http://dx.doi.org/10.1007/978-3-319-10515-4_4

Wilson DJ; Bradford RJ; Davenport JH; England M, 2014, Cylindrical Algebraic Sub-Decompositions, http://dx.doi.org/10.1007/s11786-014-0191-z

Bradford R; Davenport JH; England M; McCallum S; Wilson D, 2014, Truth Table Invariant Cylindrical Algebraic Decomposition, http://dx.doi.org/10.1016/j.jsc.2015.11.002

Wilson D; Davenport JH; England M; Bradford R, 2013, A "Piano Movers" Problem Reformulated, http://dx.doi.org/10.1109/SYNASC.2013.14

England M; Cheb-Terrab E; Bradford R; Davenport JH; Wilson D, 2013, Branch Cuts in Maple 17, http://dx.doi.org/10.1145/2644288.2644293

England M, 2013, An implementation of CAD in Maple utilising problem formulation, equational constraints and truth-table invariance, http://arxiv.org/abs/1306.3062v1

Bradford R; Davenport JH; England M; McCallum S; Wilson D, 2013, Cylindrical Algebraic Decompositions for Boolean Combinations, http://dx.doi.org/10.1145/2465506.2465516

Bradford R; Davenport JH; England M; Wilson D, 2013, Optimising Problem Formulation for Cylindrical Algebraic Decomposition, http://dx.doi.org/10.1007/978-3-642-39320-4_2

England M; Bradford R; Davenport JH; Wilson D, 2013, Understanding Branch Cuts of Expressions, http://dx.doi.org/10.1007/978-3-642-39320-4_9

England M, 2013, An implementation of CAD in Maple utilising McCallum projection, http://arxiv.org/abs/1302.6401v1

Davenport JH; Bradford R; England M; Wilson D, 2012, Program Verification in the presence of complex numbers, functions with branch cuts etc, http://dx.doi.org/10.1109/SYNASC.2012.68

Eilbeck JC; England M; Ônishi Y, 2012, Some New Addition Formulae for Weierstrass Elliptic Functions, http://dx.doi.org/10.1098/rspa.2014.0051

England M; Athorne C, 2012, Building Abelian Functions with Generalised Baker-Hirota Operators, http://dx.doi.org/10.3842/SIGMA.2012.037

England M; Athorne C, 2011, Generalised Elliptic Functions, http://dx.doi.org/10.2478/s11533-012-0083-x

England M, 2011, Deriving bases for Abelian functions, http://dx.doi.org/10.1007/BF03321878

Eilbeck JC; England M; Onishi Y, 2010, Abelian functions associated with genus three algebraic curves, http://dx.doi.org/10.1112/S1461157010000355

England M, 2010, Higher Genus Abelian Functions Associated with Cyclic Trigonal Curves, http://dx.doi.org/10.3842/SIGMA.2010.025

England M; Gibbons J, 2009, A genus six cyclic tetragonal reduction of the Benney equations, http://dx.doi.org/10.1088/1751-8113/42/37/375202

England M; Eilbeck JC, 2008, Abelian functions associated with a cyclic tetragonal curve of genus six, http://dx.doi.org/10.1088/1751-8113/42/9/095210

Back to profile page