Siegfried Rump

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

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

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

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

  3. Title:
    Computer-assisted proofs using floating point arithmetic using the new INTLAB
    Speaker:
    Siegfried Rump

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