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

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