C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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