Mechanically Verifying the Correctness of the Fast Fourier Transform in ACL2

Ruben Gamboa. Mechanically Verifying the Correctness of the Fast Fourier Transform in ACL2. In 12th International Parallel Processing Symposium / 9th Symposium on Parallel and Distributed Processing (IPPS/SPDP 98), March 30 - April 3, 1998, Orlando, Florida, USA, Proceedings. pages 796-806, IEEE Computer Society, 1998.

Abstract

Abstract is missing.