1st Canadian Symposium in Numerical Analysis and Scientific Computing
Adaptivity and automation in rigorous numerics
Williams, John Frederick
Simon Fraser University

This talk will present the under appreciated 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.

Wednesday, June 19th, 16h30
Salle Des Plaines B