Isabelle Marries Dirac: a Library for Quantum Computation and Quantum Information.

Anthony Bordg Hanna Lachnitt Yijun He

Published in: Arch. Formal Proofs (2020)

Keyphrases

quantum computation
structural information
spatial information
information sharing
information fusion
domain knowledge
end users
information sources
real time
artificial intelligence
search engine
natural language
user interaction