By Scientia Professor Matthew Heathcote England

Preprints

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

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

Back to profile page