Algorithms and computation in four-dimensional topology (2010–2015)

In topology, where some of the core questions are algorithmic, studies in four dimensions probe the limits of which problems we can and cannot hope to solve. This project aims to spark a computational renaissance in four-dimensional topology, by first developing efficient algorithms to analyse four-dimensional spaces, and then exploiting these algorithms to obtain new theoretical results. The significance will be to bring the power of computation and experimentation to researchers worldwide in what has until now been a purely theoretical discipline. As well as research papers and software releases, outcomes will include new theoretical results based on the state-of-the-art experimental techniques that this project will make possible.
Grant type:
ARC Discovery Projects
Funded by:
Australian Research Council