By Scientia Professor Matthew Heathcote England

Conference Papers

del Río T; England M, 2023, 'Data Augmentation for Mathematical Objects', in CEUR Workshop Proceedings, pp. 29 - 38

Barket R; England M; Gerhard J, 2023, 'Generating Elementary Integrable Expressions', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 21 - 38, http://dx.doi.org/10.1007/978-3-031-41724-5_2

Davenport JH; England M, 2023, 'Iterated Resultants in CAD', in CEUR Workshop Proceedings, pp. 54 - 60

Uncu AK; Davenport JH; England M, 2023, 'SMT-Solving Induction Proofs of Inequalities', in CEUR Workshop Proceedings, pp. 10 - 24

England M, 2022, 'SC-Square: Future Progress with Machine Learning?', in CEUR Workshop Proceedings, pp. 7 - 16

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

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, Climate Impacts Assessment Workshop, Melbourne, presented at Climate Impacts Assessment Workshop, Melbourne, 04 December 1996 - 05 December 1996

Back to profile page