The Fast Fourier Transform in Coq

Venanzio Capretta

Unversity of Nijmegen

Abstract:
I will present my proof of the correctness of the Fast Fourier Transform and of the inverse Fourier Transform in Coq and discuss the methods that I used to do it.

Back to schedule.

Marieke Huisman

Last modified: Thu Nov 9 16:10:51 MET 2000