By Scientia Professor Matthew Heathcote England

Reports

England M, 1999, Geochemical tracer modelling in ocean simulations: status, limitations, and future perspectives, WOCE Report 167/99

England M, 1999, Southern Ocean modelling for Climate Studies, WOCE Report No. 165/99

England M, 1999, Two-way model-data interaction, WOCE Report No. 167/99

Rahmstorf S; England MH, 1997, On the influence of Southern Hemisphere winds on North Atlantic Deep Water flow

England M, 1991, Changes in Pacific Ocean sea level related to variations in North Atlantic Deep Water formation, Sydney University, Annex IV, 4-5.

Theses / Dissertations

England M, 1992, The global-scale circulation and water-mass formation in a World Ocean Model, University of Sydney

England M, 1987, Evolution of the near-surface thermal structure in the tropical Pacific Ocean during 1980-1983

Working Papers

Goyal R; Jucker M; Gupta AS; Hendon H; England M, 2021, Zonal Wave 3 Pattern in the Southern Hemisphere generated by tropical convection, http://dx.doi.org10.21203/rs.3.rs-320008/v1

Media

England M, 1999, WOCE chemical tracer measurements aid the assessment of ocean climate models

England M, 1993, A World Ocean model that resolves the global-scale water-masses.

England M; Tomczak M; England MH, 1991, A model of water-mass formation in the World Ocean

Preprints

Michel L; Nalbach J; Mathonet P; Zénaïdi N; Brown CW; Ábrahám E; Davenport JH; England M, 2024, On Projective Delineability, http://arxiv.org/abs/2411.13300v1

Barket R; Shafiq U; England M; Gerhard J, 2024, Transformers to Predict the Applicability of Symbolic Integration Routines, http://arxiv.org/abs/2410.23948v1

Schmidt C; Morrison AK; England MH; Aguiar W; Gibson AH, 2024, Sensitivity of Antarctic Bottom Water formation and export to horizontal model resolution, http://dx.doi.org/10.22541/essoar.172469193.39598080/v1

England M, 2024, Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition, http://dx.doi.org/10.1007/978-3-031-69070-9_1

Yao S; Sadeghimanesh A; England M, 2024, Designing Machine Learning Tools to Characterize Multistationarity of Fully Open Reaction Networks, http://arxiv.org/abs/2407.01760v1

Barket R; England M; Gerhard J, 2024, The Liouville Generator for Producing Integrable Expressions, http://dx.doi.org/10.1007/978-3-031-69070-9_4

Sohail T; Gayen B; Klocker A; li Q; England MH, 2024, Future decline of Antarctic Circumpolar Current due to polar ocean freshening, http://dx.doi.org/10.22541/essoar.170294047.79411138/v3

Florescu D; England M, 2024, Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems, http://arxiv.org/abs/2404.17508v1

Barket R; England M; Gerhard J, 2024, Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs, http://arxiv.org/abs/2404.14973v1

Río TD; England M, 2024, Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD, http://dx.doi.org/10.1007/s11786-024-00591-0

Davenport JH; England M; McCallum S; Uncu AK, 2023, Iterated Resultants and Rational Functions in Real Quantifier Elimination, http://arxiv.org/abs/2312.16210v1

Loriani S; Aksenov Y; Armstrong McKay D; Bala G; Born A; Chiessi CM; Dijkstra H; Donges JF; Drijfhout S; England MH; Fedorov AV; Jackson L; Kornhuber K; Messori G; Pausata F; Rynders S; Salée J-B; Sinha B; Sherwood S; Swingedouw D; Tharammal T, 2023, Tipping points in ocean and atmosphere circulations, http://dx.doi.org/10.5194/egusphere-2023-2589

Neme J; England MH; Hogg AM; Khatri H; Griffies SM, 2023, The role of bottom friction in mediating the response of the Weddell Gyre circulation to changes in surface stress and buoyancy fluxes, http://dx.doi.org/10.22541/essoar.169228895.55803191/v1

Davenport JH; England M, 2023, Iterated Resultants in CAD, http://arxiv.org/abs/2307.16750v1

Uncu AK; Davenport JH; England M, 2023, SMT-Solving Induction Proofs of Inequalities, http://arxiv.org/abs/2307.16761v1

Rio TD; England M, 2023, Data Augmentation for Mathematical Objects, http://arxiv.org/abs/2307.06984v1

Barket R; England M; Gerhard J, 2023, Generating Elementary Integrable Expressions, http://dx.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, http://dx.doi.org/10.1016/j.jsc.2023.102276

Ong EQY; Doddridge E; Constantinou NC; Hogg AM; England MH, 2023, Intrinsically episodic Antarctic shelf intrusions of circumpolar deep water via canyons, http://dx.doi.org/10.48550/arxiv.2304.13225

Swart N; Martin T; Beadling R; Chen J-J; England MH; Farneti R; Griffies SM; Hatterman T; Haumann FA; Li Q; Marshall J; Muilwijk M; Pauling AG; Purich A; Smith IJ; Thomas M, 2023, The Southern Ocean Freshwater release model experiments Initiative (SOFIA): Scientific objectives and experimental design, http://dx.doi.org/10.5194/egusphere-2023-198

Menviel LC; Spence P; Kiss AE; Chamberlain MA; Hayashida H; England MH; Waugh D, 2023, Enhanced Southern Ocean CO₂ outgassing as a result of stronger and poleward shifted southern hemispheric westerlies, http://dx.doi.org/10.5194/egusphere-2023-390

Schmidt C; Morrison AK; England MH, 2023, Wind- and sea-ice-driven interannual variability of Antarctic Bottom Water formation, http://dx.doi.org/10.22541/essoar.167768108.88472952/v1

Morrison AK; England MH; Hogg AM; Kiss AE, 2023, Weddell Sea control of ocean temperature variability on the western Antarctic Peninsula, http://dx.doi.org/10.22541/essoar.167591098.80596021/v1

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

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

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

Schurer AP; Hegerl GC; Goosse H; Bollasina MA; England MH; Mineter MJ; Smith DM; Tett SFB, 2022, Quantifying the contribution of forcing and three prominent modes of variability on historical climate, http://dx.doi.org/10.5194/cp-2022-55

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

Neme J; England MH; Hogg AM, 2022, Projected changes of surface winds over the Antarctic continental margin, http://dx.doi.org/10.1002/essoar.10510952.1

Sadeghimanesh A; England M, 2022, Resultant Tools for Parametric Polynomial Systems with Application to Population Models, http://arxiv.org/abs/2201.13189v2

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

Neme J; England MH; Hogg AM, 2021, Seasonal and interannual variability of the Weddell Gyre from a high-resolution global ocean-sea ice simulation during 1958 - 2018, http://dx.doi.org/10.1002/essoar.10507322.2

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, http://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, http://dx.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, http://dx.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?, http://arxiv.org/abs/2004.04034v1

Sadeghimanesh A; England M, 2020, Polynomial Superlevel Set Representation of the Multistationarity Region of Chemical Reaction Networks, http://dx.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, http://dx.doi.org/10.1016/j.jlamp.2020.100633

Back to profile page