1018321
Results 1 to 1 of 1
Selection :
Certifying the Fast Fourier Transform with coqCAPRETTA, Venanzio.Lecture notes in computer science. 2001, pp 154-168, issn 0302-9743, isbn 3-540-42525-XConference Paper