Integrating DFT and DRBD Formalizations in HOL4.

Yassmeen Elderhalli Osman Hasan Sofiène Tahar

Published in: CoRR (2019)

Keyphrases

frequency domain
discrete fourier transform
fourier transform
situation calculus
theorem prover
computer vision
information systems
neural network
case study
high level
pattern recognition
information technology
multiresolution
formal methods
natural deduction