Video Lectures

Separate tags with a comma.
A classical property of pseudo-Anosov mapping classes is that they act on the space of projective measured laminations with north-south dynamics. This means that under iteration of such a mapping class, laminations converge exponentially quickly...
The Resolution proof system is perhaps the simplest and most universally used in verification system and automated theorem proving. It was introduced by Davis and Putnam in 1960. The study of its efficiency, both in terms of proof length of natural...

Ordinary Light

Tracey K. Smith

Hailed for her "extraordinary range and ambition" by the New York Times, Tracey K. Smith will read from her recently published memoir Ordinary Light and her Pulitzer Prize–winning poetry collection Life on Mars.

Called "Transcendent ... deceptively...