Conference on the L-group at 40
Overview of formal proofs
Date & Time
October 10, 2006 | 4:15pm – 5:15pm
Location
Simonyi Hall 101Speakers
Tom Hales
Affiliation
University of Pittsburgh
Categories
Notes
Workshop site: /math/conf-lgroup-at-40