Error Analysis of Digital Filters Using Theorem Proving.
Behzad AkbarpourSofiène TaharPublished in: TPHOLs (2004)
Keyphrases
- error analysis
- digital filters
- theorem proving
- theorem prover
- error correction
- first order logic
- least squares
- inference rules
- proof planning
- transfer function
- parallel search
- proof procedure
- infinite impulse response
- term rewriting
- discrete wavelet transform
- low pass filter
- genetic algorithm
- consequence finding
- geometry theorem proving
- median filter
- denoising
- artificial intelligence