By Scientia Professor Matthew Heathcote England

Conference Papers

England M, 2022, 'SC-Square: Overview to 2021', in Ceur Workshop Proceedings, pp. 1 - 6

Huang Z; England M; Davenport JH; Paulson LC, 2016, 'Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases', in Davenport J; Negru V; Ida T; Jebelean T; Petcu D; Watt S; Zaharie D (eds.), PROCEEDINGS OF 2016 18TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC), IEEE, ROMANIA, Timisoara, pp. 45 - 52, presented at 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), ROMANIA, Timisoara, 24 September 2016 - 27 September 2016, http://dx.doi.org/10.1109/SYNASC.2016.14

Taschetto AS; Haarsma R; Sen Gupta AR; Ummenhofer CC; England MH, 2010, 'Teleconnections associated with the intensification of the Australian monsoon during El Nio Modoki events', in IOP Conference Series: Earth and Environmental Sciences, IOP Publishing Ltd, Bristol UK, presented at 17th National Conference of the Australian Meteorological and Oceanographic Society, AMOS, Canberra, ACT, Australia, 27 January 2010 - 29 January 2010, http://dx.doi.org/10.1088/1755-1315/11/1/012031

England MH, 1996, 'Validating ocean climate models - new tools and data sets for ocean model assessment', in Climate Impacts Assessment Workshop, Melbourne, presented at Climate Impacts Assessment Workshop, Melbourne, 04 December 1996 - 05 December 1996

Conference Presentations

Goyal R; Jucker M; Sen Gupta A; England M, 2020, 'Why is there a Zonal Wave 3 pattern in the Southern Hemisphere extratropical circulation?', presented at EGU General Assembly, http://dx.doi.org/10.5194/egusphere-egu2020-12114

Reports

England M; Steffen W; Karoly D, 2012, The science behind southeast Australia's wet, cool summer

England M; Raupach M; Lambeck K; Fairley-Grenot K; Finnigan J; Krull E; Langford J; Lovegrove K; Wright J; Young M, 2010, Challenges at Energy-Water Carbon intersections

England M; Allison I; Bird M; Church J; Enting I; Karoly D; Raupach M; Palutikof J; Sherwood S, 2010, The Science of Climate Change: Questions and Answers, Australian Academy of Science, Canberra, https://www.climatechangeauthority.gov.au/sites/default/files/2020-06/submissions/2015/Australian%20Academy%20of%20Science%20-%20attachment.pdf

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

Flood D; England M; Grawemeyer B, 2025, Predicting At-Risk Programming Students in Small Imbalanced Datasets using Synthetic Data, http://arxiv.org/abs/2505.17128v1

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

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; Olivé Abelló A; Pauling AG; Rackow T; Ringeisen D, 2025, Datasets and protocols for including anomalous freshwater from melting ice sheets in climate simulations, http://dx.doi.org/10.5194/egusphere-2025-1940

Boeira Dias F; England MH; Morrison AK; Galton-Fenzi B, 2025, On the seasonal variability of ocean heat transport and ice shelf melt around Antarctica, http://dx.doi.org/10.5194/egusphere-2024-3905

Schmidt C; Morrison AK; England MH; Silvano A, 2025, West Antarctic melt variability and wind anomalies contribute to Ross Sea salinity rebound, http://dx.doi.org/10.22541/essoar.173870875.51711851/v1

Ong EQY; Doddridge E; Hogg AM; England MH, 2024, Seasonal sea-ice and eddy variability around the Antarctic margin, http://dx.doi.org/10.22541/essoar.173532505.52665007/v1

Ong EQY; England MH; Doddridge E; Constantinou NC, 2024, Transient Antarctic Slope Current Response to Climate Change including Meltwater, http://dx.doi.org/10.22541/essoar.173386140.05935937/v1

Michel L; Nalbach J; Mathonet P; Zénaïdi N; Brown CW; Ábrahám E; Davenport JH; England M, 2024, On Projective Delineability, http://dx.doi.org/10.1109/SYNASC65383.2024.00015

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, Understanding Multistationarity of Fully Open Reaction Networks, http://arxiv.org/abs/2407.01760v2

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.16210v2

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

Back to profile page