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

Monday, September 22, 2014 16:07 - 17:03
Computer-assisted proofs using floating point arithmetic using the new INTLAB
Siegfried Rump, Video: Computer-assisted proofs using floating point arithmetic using the new INTLAB
Siegfried Rump, Video: Computer-assisted proofs using floating point arithmetic using the new INTLAB
Siegfried Rump, Computer-assisted proofs using floating point arithmetic using the new INTLAB, Rigorously Verified Computing for Infinite Dimensional Nonlinear Dynamics, BIRS, BIRS talk, 14w5098, math, mathematics, video
Banff International Research Station
Banff International Research Station
presentation
mpeg4
160M
http://www.birs.ca/events/2014/5-day-workshops/14w5098/videos
0 seconds of 0 secondsVolume 90%
Press shift question mark to access a list of keyboard shortcuts
00:00
00:00
00:00
 
This video file cannot be played.(Error Code: 224003)

Download this video (160M)

Other videos from this workshop