The correctness of the fast Fourier transform: A structured proof in ACL2

From MaRDI portal

Revision as of 01:25, 30 January 2024 by Import240129110155 (talk | contribs) (Created automatically from import240129110155)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5959860

Jump to:navigation, search

DOI10.1023/A:1012912614285zbMath0989.68130OpenAlexW1871181274MaRDI QIDQ5959860

Ruben A. Gamboa

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

zbMATH Keywords

fast Fourier transform

Mathematics Subject Classification ID

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5959860&oldid=12129512"

Pages with script errors