Re: [isabelle] FFT.thy ?



On 06/08/2011, at 10:11 AM, Walther Neuper wrote:

> 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,

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




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.