An informal introduction to rigorous computing

IAM Seminar
September 23, 2013 10:00 pm

Speaker:  JF Williams

URL for Speaker:

Location:  LSK 460

Intended Audience:  IAM members

Local Contact:

Brian Wetton

This talk will present the under utilized ideas of rigorous numerics as a means of solving problems in PDE analysis. The core concepts such as interval arithmetic, automatic differentiation and radii polynomial will be discussed and recent extensions using mesh adaptivity will be presented. A fully automated curve following code for a class of elliptic problems will be explained.