Videos

Start date cannot be after end date.

Interactive theorem proving, automated reasoning, and mathematical computation

Presenter
  • Jeremy Avigad
December 14, 2012
ICERM

Using Delay Differential Equations to Model Dendritic Cell Therapies

Presenter
  • Angela Gallegos
November 9, 2012
ICERM

The Effect of Age Structure on Stem and Non-stem Cancer Cell Population Dynamics

Presenter
  • Suzanne Weekes
November 9, 2012
ICERM
Type Classes for Mathematical Formalizations in Coq Thumbnail

Type Classes for Mathematical Formalizations in Coq

Presenter
  • Matthieu Sozeau
October 3, 2012
IAS

Challenges In Mathematical Ecology: Scaling And Collective Phenomena

Presenter
  • Simon Levin
September 21, 2012
MBI
An Informal Mathematical Tour of Feature Learning Thumbnail

An Informal Mathematical Tour of Feature Learning

Presenter
  • Nando de Freitas
July 27, 2012
IPAM

Critical Issues In Mathematics Education 2012: Teacher Education In View Of The Common Core, lecture 4 - Small group sessions: Exploring the use/role of mathematical practices in teaching

March 22, 2012
SLMath
Critical Issues In Mathematics Education 2012: Teacher Education In View Of The Common Core, lecture 2 - What are mathematical practices? Thumbnail

Critical Issues In Mathematics Education 2012: Teacher Education In View Of The Common Core, lecture 2 - What are mathematical practices?

Presenter
  • Deborah Schifter
March 22, 2012
SLMath

Using Sage for Mathematical Research

Presenter
  • William Stein
March 20, 2012
ICERM
Quasirandom Processes Thumbnail

Quasirandom Processes

Presenter
  • James Propp
March 12, 2012
SLMath
Tutorial: Statistical and mathematical physics of discrete lattice models Thumbnail

Tutorial: Statistical and mathematical physics of discrete lattice models

Presenter
  • Anthony Guttmann
January 12, 2012
SLMath
World Premiere of "Taking the Long View: The Life of Shiing-Shen Chern" Thumbnail

World Premiere of "Taking the Long View: The Life of Shiing-Shen Chern"

October 30, 2011
SLMath