scientific article; zbMATH DE number 2102720

zbMath1046.68639MaRDI QIDQ4818806

Per Bjesse

Publication date: 24 September 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Numerical methods for discrete and fast Fourier transforms (65T50)

Related Items

The formalization of discrete Fourier transform in HOL, Formal verification based on Boolean expression diagrams