Start date cannot be after end date.
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
What does it take to do reproducible computational science, What stands in our way
Presenter
- Bill Rider
December 10, 2012
ICERM
On the empirical efficiency of local MCMC algorithms with auxiliary variables
Presenter
- Mylene Bedard
November 30, 2012
ICERM