Video: Siegfried Rump, "Verification methods - mathematically correct results in floating-point, 2nd half"

Video From 16w5099: Interval Analysis and Constructive Mathematics

Siegfried Rump, Hamburg University of Technology

Monday, November 14, 2016 16:15 - 17:03

Verification methods - mathematically correct results in floating-point, 2nd half

Siegfried Rump, Video: Verification methods - mathematically correct results in floating-point, 2nd half

Siegfried Rump, Verification methods - mathematically correct results in floating-point, 2nd half, Interval Analysis and Constructive Mathematics, BIRS, BIRS talk, 16w5099, math, mathematics, video

Banff International Research Station

presentation

mpeg4

174M

http://www.birs.ca/events/2016/5-day-workshops/16w5099/videos

http://www.birs.ca/events/2016/5-day-workshops/16w5099/videos/watch/201611141615-Rump.html

Download this video (174M)