PIMS/Shell Lunchbox Lecture: Numerics with error bars

  • Date: 03/13/2014

JF Williams, Simon Fraser University


Dr. Williams returned to SFU in 2005 after spending two years as a post-doc in the Netherlands and three years at the University of Bath where he did his PhD. He received his MSc (2000) and BSc (1998) from SFU. Dr. Williams works in the general area of partial differential equations with particular interests in adaptive numerical methods, asymptotic analysis and mathematical modeling. These three strands come together in both his teaching and his work in industrial mathematics.



Calgary Place Tower (Shell)


Numerics with error bars: Rigourous numerics, computer generated proofs and the future of the mathematician

Mathematical analysts are typically a careful sort. We sweat over the tiniest details to ensure proofs are rock-solid. The advent of fast and easy to use computers revolutionized science, engineering and some areas of mathematics. Oddly though, most analysts throw rigour to the wind when using a computer. In this talk I will describe some recent developments combining mathematical analysis, numerical analysis and computer science that aims to bring pencil and paper rigour to computational analysis.

I will present some simple problems where classical methods fail and explain the ideas behind rigourous computing. This is an evolving area hoping to put error bars on your computations and (some) analysts out of work.

This talk is intended for a general scientific audience.
Other Information: 

Location: Calgary Place Tower 1 (330 5th Avenue SW), Room 1104


Time: 12:00-1:00 pm





PIMS is grateful for the support of Shell Canada Limited, Alberta
Enterprise and Advanced Education, and the University of Calgary for
their support of this series of lectures.