On the Formalization of Fourier Transform in Higher-order Logic.

Adnan Rashid, Osman Hasan

Browse the full ITP paper archive.