On the Formalization of Z-Transform in HOL.

Umair Siddique Mohamed Yousri Mahmoud Sofiène Tahar

Published in: ITP (2014)

Keyphrases

theorem prover
knowledge representation
databases
hidden markov models
formal model
natural language
artificial neural networks
data model
higher order
formal methods
transform coefficients
natural deduction