C. Auger, Compilation Certifiée de SCADE

G. Berry, The foundations of Esterel In: Proof, Language, and Interaction, Essays in Honour of Robin Milner, pp.425-454, 2000.

Y. Bertot, Canonical Big Operators, Theorem Proving in Higher Order Logics, 21st International Conference, pp.86-101, 2008.
DOI : 10.1007/3-540-44659-1_29
URL : https://hal.archives-ouvertes.fr/inria-00331193

S. Boldo, C. Lelay, and G. English, Coquelicot: A User-Friendly Library of Real Analysis for Coq, Mathematics in Computer Science, vol.24, issue.9, pp.1-22, 2014.
DOI : 10.1007/s11786-014-0181-1
URL : https://hal.archives-ouvertes.fr/hal-00860648

J. C. Brown, spectral transform, The Journal of the Acoustical Society of America, vol.89, issue.1, pp.425-434, 1991.
DOI : 10.1121/1.400476

V. Capretta, Certifying the Fast Fourier Transform with Coq, Theorem Proving in Higher Order Logics, 14th International Conference, pp.154-168, 2001.
DOI : 10.1007/3-540-44755-5_12

L. Cruz-filipe, H. Geuvers, and F. Wiedijk, C-CoRN, the Constructive Coq Repository at Nijmegen, Third International Conference, pp.88-103, 2004.
DOI : 10.1007/3-540-45620-1_12

M. Dénès, A. Mörtberg, and V. Siles, A refinement-based approach to computational algebra in COQ, ITP -3rd International Conference on Interactive Theorem Proving - 2012, pp.83-98, 2012.

G. Gonthier, Point-Free, Set-Free Concrete Linear Algebra, Proceedings, vol.13, issue.2, pp.103-118, 2011.
DOI : 10.1017/S0956796802004501
URL : https://hal.archives-ouvertes.fr/hal-00805966

G. Gonthier, A. Mahboubi, and E. Tassi, A Small Scale Reflection Extension for the Coq system, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00258384

C. Lelay, More than real analysis in Coq URL: http: //www.ens-lyon, 2014.

M. Püschel and J. M. Moura, Algebraic Signal Processing Theory, CoRR abs, p.612077, 2006.

U. Siddique, M. Y. Mahmoud, and S. Tahar, On the Formalization of Z-Transform in HOL, Interactive Theorem Proving -5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, pp.483-498, 2014.
DOI : 10.1007/978-3-319-08970-6_31

J. O. Smith and I. , Audio Signal Processing in Faust URL: https://ccrma, 2013.

J. O. Smith and I. , Introduction to Digital Filters, 2007.
DOI : 10.1016/B978-0-7506-7444-7/50051-0

J. O. Smith and I. , Mathematics of the Discrete Fourier Transform (DFT): with Audio Applications. 2nd, 2007.

J. O. Smith and I. , Spectral Audio Signal Processing, 2011.