New Challenges with Large Proofs in the wake of the Formal Proof of the Kepler Conjecture | Newton Gateway to Mathematics

skip to content

Presented by:

Thomas Hales (University of Pittsburgh)

When:

Wednesday, July 19, 2017 - 12:15 to 12:50

Venue:

No Room Required

View or download in other format