/books/nonstd/fft/

• ../
• eval-poly.acl2
• eval-poly.lisp
• fft-omega.acl2
• fft-omega.lisp
• fft-trig-with-axioms.acl2
• fft-trig-with-axioms.lisp
• fft-trig.acl2
• fft-trig.lisp