Search this site:
Video Lectures
All
Lectures by IAS Faculty
Historical Studies (SHS)
Mathematics (SM)
Natural Sciences (SNS)
Social Science (SSS)
Recent Lectures
Interdisciplinarity in the Age of Networks
Robert Oppenheimer: A Life Inside the Center
Association Schemes, Non-Commutative Polynomials and Lasserre Lower Bounds for Planted Clique
Academic Years
2012-2013
2011-2012
2010-2011
2009-2010
2008-2009
2007-2008
2006-2007
2005-2006
2004-2005 & prior
Podcasts
High Resolution
Low Resolution
Video Encoding
Mpeg4 files use H.264 codec
Hi-Res files are 640x480
Lo-Res files are 320x240
Real Media files 320x240
There are 1185 lectures available
Computing with Univalence
Daniel Licata
Carnegie Mellon University; Member, School of Mathematics
September 28, 2012 - 4:30pm
Watch Online
Lo-Res
60.61 MB
Hi-Res
114.47 MB
Math
Watch Online![[file]](http://video.ias.edu/sites/all/modules/webfm/image/icon/f.gif "Download Lo-Res"){kind=icon}