Video Lectures

Separate tags with a comma.

Edward T. Cone Concert Talk

Joe Locke, Lisa Pegher, Bernard Woma, Paul Lansky, and Derek Bermel

As a part of the Mallet Madness concerts, percussionists Lisa Pegher, Joe Locke, and Bernard Woma join in conversation with Institute Artist-in-Residence Derek Bermel and composer Paul Lansky

A "proof assistant" is a software package comprising a validity checker for proofs in a particular logic, accompanied by semi-decision procedures called "tactics" that assist the mathematician in filling in the easy parts of the proofs. I will...