Speaker: JF Williams
URL for Speaker: http://www.math.sfu.ca/people/staff/faculty/jf_williams
Location: LSK 460
Intended Audience: IAM members
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.