Error analysis of digital filters using HOL theorem proving.
Behzad AkbarpourSofiène TaharPublished in: J. Appl. Log. (2007)
Keyphrases
- error analysis
- digital filters
- theorem proving
- theorem prover
- natural deduction
- first order logic
- least squares
- inference rules
- error correction
- parallel search
- discrete wavelet transform
- term rewriting
- infinite impulse response
- proof planning
- proof procedure
- low pass filter
- median filter
- geometry theorem proving
- transfer function
- genetic algorithm
- fir filters
- consequence finding
- machine learning