Start date cannot be after end date.
Bruhat atlases, on wonderful compactifications of groups and elsewhere
Presenter
- Allen Knutson
February 11, 2013
ICERM
clearScience: tools for communicating in the computational sciences
Presenter
- Brian M. Bot
December 14, 2012
ICERM
Interactive theorem proving, automated reasoning, and mathematical computation
Presenter
- Jeremy Avigad
December 14, 2012
ICERM
Making Computations and Publications Reproducible with VisTrails
Presenter
- Juliana Freire
December 13, 2012
ICERM
IPython- tools for the lifecycle of research computing
Presenter
- Fernando Perez
December 12, 2012
ICERM
What's happening with the World Digital Mathematics Library
Presenter
- Peter Olver
December 11, 2012
ICERM
Recent strategies and challenges for reproducibility in global climate modeling
Presenter
- Katherine Evans
December 11, 2012
ICERM