Speaker: Warwick Tucker
Affiliation: Monash University

Abstract

In this talk, we will explain how computer-assisted proofs work, and how certain mathematical problems can be approached by such techniques. The problems we will discuss all come from the field of Dynamical Systems, and are easily stated in elementary mathematical terms. They are, however, not as easily solved, so there is still plenty of work to do! Some partial results will be presented together with a few conjectures and future directions of research.

About Maths Colloquium

The Mathematics Colloquium is directed at students and academics working in the fields of pure and applied mathematics, and statistics. 

We aim to present expository lectures that appeal to our wide audience.

Information for speakers

Information for speakers

Maths colloquia are usually held on Mondays, from 2pm to 3pm, in various locations at St Lucia.

Presentations are 50 minutes, plus five minutes for questions and discussion.

Available facilities include:

  • computer 
  • data projector
  • chalkboard or whiteboard

To avoid technical difficulties on the day, please contact us in advance of your presentation to discuss your requirements.

Venue

Priestley Building (67)
Room: 
442 (or via Zoom: https://uqz.zoom.us/j/81688396546)