Login / Signup
Formalization of Infinite Dimension Linear Spaces with Application to Quantum Theory.
Mohamed Yousri Mahmoud
Vincent Aravantinos
Sofiène Tahar
Published in:
NASA Formal Methods (2013)
Keyphrases
</>
image processing
data sets
optimal solution
multi dimensional
infinite dimensional
von neumann
hilbert space
quantum mechanics