The correctness of the fast Fourier transform: A structured proof in ACL2
From MaRDI portal
Publication:5959860
DOI10.1023/A:1012912614285zbMath0989.68130OpenAlexW1871181274MaRDI QIDQ5959860
Publication date: 11 April 2002
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1012912614285
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Formalization of transform methods using HOL Light ⋮ Unified program generation and verification: a case study on number-theoretic transform ⋮ The formalization of discrete Fourier transform in HOL
Uses Software
This page was built for publication: The correctness of the fast Fourier transform: A structured proof in ACL2
