Speaker

Bas Spitters (RUN)

Abstract

In this very informal talk I will present several approaches to a constructive proof of the correctness of the Newton-Cotes integration algorithm and report on ongoing work to formalize this.

I will then go on to explain how this relates to the EU-project ForMath.