By Scientia Professor Matthew Heathcote England

Preprints

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

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

England M, 2014, Formulating problems for real algebraic geometry, https://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, https://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, https://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, https://doi.org/10.1007/978-3-319-10515-4_4

Wilson DJ; Bradford RJ; Davenport JH; England M, 2014, Cylindrical Algebraic Sub-Decompositions, https://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, https://doi.org/10.1016/j.jsc.2015.11.002

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

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

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

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

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

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

England M, 2013, An implementation of CAD in Maple utilising McCallum projection, https://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, https://doi.org/10.1109/SYNASC.2012.68

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

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

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

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

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

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

England M; Gibbons J, 2009, A genus six cyclic tetragonal reduction of the Benney equations, https://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, https://doi.org/10.1088/1751-8113/42/9/095210

Kiss AE; Hogg AM; Hannah N; Dias FB; Brassington GB; Chamberlain MA; Chapman C; Dobrohotoff P; Domingues CM; Duran ER; England MH; Fiedler R; Griffies SM; Heerdegen A; Heil P; Holmes RM; Klocker A; Marsland SJ; Morrison AK; Munroe J; Oke PR; Nikurashin M; Pilo GS; Richet O; Savita A; Spence P; Stewart KD; Ward ML; Wu F; Zhang X, ACCESS-OM2: A Global Ocean-Sea Ice Model at Three Resolutions, http://dx.doi.org/10.5194/gmd-2019-106

Narayanan A; Ayres H; England M; Haumann A; Mazloff M; Silvano A; Spira T; Zhou S; Naveira Garabato A, Compound Drivers of Antarctic Sea Ice Loss, http://dx.doi.org/10.31223/x51v0b

Schmidt GA; Mankoff KD; Bamber JL; Carroll D; Chandler DM; Coulon V; Davison BJ; England MH; Holland PR; Jourdain NC; Li Q; Marson JM; Mathiot P; McMahon CR; Moon TA; Mottram R; Nowicki S; Abelló AO; Pauling AG; Rackow T; Ringeisen D, Datasets and protocols for including anomalous freshwater from melting ice sheets in climate simulations, http://dx.doi.org/10.5194/egusphere-2025-1940

Back to profile page