A Formalisation of a Fast Fourier Transform - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2022

A Formalisation of a Fast Fourier Transform

Résumé

This notes explains how a standard algorithm that constructs the discrete Fourier transform has been formalised and proved correct in the Coq proof assistant using the SSReflect extension.
Fichier principal
Vignette du fichier
Note.pdf (111.34 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03807965 , version 1 (10-10-2022)
hal-03807965 , version 2 (11-10-2022)
hal-03807965 , version 3 (12-10-2022)
hal-03807965 , version 4 (13-10-2022)

Identifiants

Citer

Laurent Théry. A Formalisation of a Fast Fourier Transform. 2022. ⟨hal-03807965v4⟩
36 Consultations
39 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More