Email Gateway (Aug 18 2022 at 18:10): 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
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: Nov 21 2024 at 12:39 UTC