Guillaume Melquiond

  1. Title:
    Interval arithmetic, real analysis, and formal proofs
    Speaker:
    Guillaume Melquiond

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