共 50 条
- [41] On the Formalization of Fourier Transform in Higher-order Logic INTERACTIVE THEOREM PROVING (ITP 2016), 2016, 9807 : 483 - 490
- [43] Double-lens fractional Fourier transform hologram Jiguang Zazhi/Laser Journal, 2000, 21 (01): : 35 - 36
- [47] SIGNAL RECONSTRUCTION FROM SHORT-TIME FOURIER-TRANSFORM MAGNITUDE IEEE TRANSACTIONS ON ACOUSTICS SPEECH AND SIGNAL PROCESSING, 1983, 31 (04): : 986 - 998
- [50] THE RECONSTRUCTION OF A MULTIDIMENSIONAL SEQUENCE FROM THE PHASE OR MAGNITUDE OF ITS FOURIER-TRANSFORM IEEE TRANSACTIONS ON ACOUSTICS SPEECH AND SIGNAL PROCESSING, 1982, 30 (02): : 140 - 154