Error analysis of digital filters using HOL theorem proving (Q2475434)

From MaRDI portal
Revision as of 12:15, 28 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Error analysis of digital filters using HOL theorem proving
scientific article

    Statements

    title
    Error analysis of digital filters using HOL theorem proving (English)
    0 references
    author
    Behzad Akbarpour
    0 references
    Sofiène Tahar
    0 references
    publication date
    11 March 2008
    0 references
    zbMATH DE Number
    5246793
    0 references
    zbMATH Keywords
    error analysis
    0 references
    digital filters
    0 references
    theorem proving
    0 references
    fixed-point
    0 references
    floating-point
    0 references
    HOL
    0 references
    describes a project that uses
    HOL
    0 references
    HOL Light
    0 references
    FRIDGE
    0 references
    Simulink
    0 references
    ML
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2475434&oldid=23217645"
    Powered by MediaWiki