References & Citations
Computer Science > Logic in Computer Science
Title: A Formalisation of a Fast Fourier Transform
(Submitted on 11 Oct 2022 (v1), last revised 14 Oct 2022 (this version, v4))
Abstract: 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.
Submission history
From: Laurent Thery [view email][v1] Tue, 11 Oct 2022 07:42:25 GMT (8kb)
[v2] Wed, 12 Oct 2022 07:10:38 GMT (8kb)
[v3] Thu, 13 Oct 2022 06:44:57 GMT (8kb)
[v4] Fri, 14 Oct 2022 08:13:51 GMT (8kb)
Link back to: arXiv, form interface, contact.