Topology Atlas | Conferences

Knots in Washington XLIII; 60th birthday of J. Scott Carter
December 9-11, 2016
George Washington University
Washington, DC, USA

Organizers
Valentina Harizanov (GWU), Jozef H. Przytycki (GWU), Yongwu Rong (GWU), Radmila Sazdanovic (NCSU), Alexander Shumakovitch (GWU), Hao Wu (GWU)

Conference Homepage


Formal proofs in low-dimensional topology
by
Jamie Vicary
University of Oxford

We introduce a new tool, the proof assistant Globular, for the formalization and development of Morse-theoretic proofs in low-dimensional topology, of the sort that Scott Carter has developed so beautifully throughout his career.

Date received: September 22, 2016

Copyright © 2016 by the author(s). The author(s) of this work and the organizers of the conference have granted their consent to include this abstract in Topology Atlas. Document # cbnq-11.