By Scientia Professor Matthew Heathcote England

Preprints

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

Treguier AM; England M; Rintoul SR; Madec G; Le Sommer J; Molines J-M, 2007, Southern Ocean overturning across streamlines in an eddying simulation of the Antarctic Circumpolar Current, http://dx.doi.org/10.5194/osd-4-653-2007

Other

England MH; Li Z; Huguenin MF; Kiss AE; Sen Gupta A; Holmes RM; Rahmstorf S, 2025, Drivers of the unprecedented North Atlantic marine heatwave during 2023, http://dx.doi.org/10.5194/egusphere-egu25-7537

Menviel L; Spence P; Kiss A; Chamberlain M; Hayashida H; Waugh D; England M; Saini H; Meissner K, 2025, Impact of Southern Ocean processes on atmospheric CO2 concentration, http://dx.doi.org/10.5194/egusphere-egu25-13359

Menviel L; Spence P; Kiss A; Chamberlain M; Hayashida H; England M; Waugh D, 2025, Reduced Southern Ocean CO2 uptake due to the positive SAM trend, http://dx.doi.org/10.5194/egusphere-egu24-13846

Goyal R; Sen Gupta A; England M; Jucker M, 2023, Drivers of the sudden Antarctic sea-ice decline events, http://dx.doi.org/10.5194/egusphere-egu23-16112

Taschetto AS; Sen Gupta AR; Ummenhofer CC; England MH, 2009, How does El Niño Modoki affect the Australian monsoon?, Climate Variability and Predictability Programme (CLIVAR)

Back to profile page