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

Video From 16w5099: Interval Analysis and Constructive Mathematics

Siegfried Rump, Hamburg University of Technology

Monday, November 14, 2016 15:00 - 15:42

Verification methods - mathematically correct results in floating-point, 1st half

Siegfried Rump, Video: Verification methods - mathematically correct results in floating-point, 1st half

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

Banff International Research Station

presentation

mpeg4

145M

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

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

Download this video (145M)