Video: Chris Groothedde, "Rigorous numerics"

Video From 14w5098: Rigorously Verified Computing for Infinite Dimensional Nonlinear Dynamics

Chris Groothedde, VU University Amsterdam

Monday, September 22, 2014 14:47 - 14:55

Rigorous numerics

Chris Groothedde, Video: Rigorous numerics

Chris Groothedde, Rigorous numerics, Rigorously Verified Computing for Infinite Dimensional Nonlinear Dynamics, BIRS, BIRS talk, 14w5098, math, mathematics, video

Banff International Research Station

presentation

mpeg4

24M

http://www.birs.ca/events/2014/5-day-workshops/14w5098/videos

http://www.birs.ca/events/2014/5-day-workshops/14w5098/videos/watch/201409221447-Groothedde.html

Rigorous numerics

Chris Groothedde at 14w5098: Rigorously Verified Computing for Infinite Dimensional Nonlinear Dynamics on Monday, September 22, 2014

0 seconds of 0 secondsVolume 0%

00:00

Download this video (24M)