On the Quantum Formalization of Coherent Light in HOL.

Mohamed Yousri Mahmoud Sofiène Tahar

Published in: NASA Formal Methods (2014)

Keyphrases

formal model
theorem prover
quantum computing
database systems
knowledge representation
formal methods
databases
computer vision
multiscale
theorem proving
logic circuits