A Coq formalization of digital filters

From MaRDI portal
Revision as of 09:51, 1 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:1798952

DOI10.1007/978-3-319-96812-4_8zbMath1417.68183OpenAlexW2883740135MaRDI QIDQ1798952

Thibault Hilaire, Diane Gallois-Wong, Sylvie Boldo

Publication date: 18 October 2018

Full work available at URL: https://hal.inria.fr/hal-01728828v2/file/CICM18.pdf



Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).



Uses Software



This page was built for publication: A Coq formalization of digital filters

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1798952&oldid=14154188"
Powered by MediaWiki