1er Symposium canadien en analyse numérique et calcul scientifique
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.

Mercredi, 19 juin, 16h30
Salle Des Plaines B