Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] FFT.thy ?


view this post on Zulip Email Gateway (Aug 18 2022 at 18:10):

From: Walther Neuper <wneuper@ist.tugraz.at>
In Sascha's and Jasmin's talk at CADE they mentioned "FFT" in their
benchmarks, i.e. fast fourier transform as they confirmed in personal
communication.

From the most recent clone 01d6ab227069 I get nothing by

Isabelle/src$ find -name "F*.thy"
Isabelle/src$ grep -r "ourier" *

I'd be grateful for another hint,
Walther

view this post on Zulip Email Gateway (Aug 18 2022 at 18:10):

From: Gerwin Klein <gerwin.klein@nicta.com.au>
It's an AFP entry:
http://afp.sourceforge.net/entries/FFT.shtml

(Harder to grep for, but to find things in the AFP, http://afp.sourceforge.net/search.shtml works fairly nicely)

Cheers,
Gerwin


Last updated: Mar 29 2024 at 08:18 UTC