By Scientia Professor Matthew Heathcote England

Conference Papers

England M, 2024, 'Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition (Extended Abstract of Invited Talk)', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 1 - 10, http://dx.doi.org/10.1007/978-3-031-69070-9_1

Barket R; England M; Gerhard J, 2024, 'Symbolic Integration Algorithm Selection with Machine Learning: LSTMs Vs Tree LSTMs', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 167 - 175, http://dx.doi.org/10.1007/978-3-031-64529-7_18

Barket R; England M; Gerhard J, 2024, 'The Liouville Generator for Producing Integrable Expressions', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 47 - 62, http://dx.doi.org/10.1007/978-3-031-69070-9_4

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

Back to profile page