Lecture - Entanglement theory for quantum systems described by von Neumann algebras, QIC 891
Lauritz van Luijk - Leibniz University Hannover
Reis Soldati, R. (2026). Lecture - Lean-verified Quantum Information Theory, QIC 891. Perimeter Institute. https://pirsa.org/26100055
Reis Soldati, Rodolfo. Lecture - Lean-verified Quantum Information Theory, QIC 891. Perimeter Institute, Oct. 01, 2026, https://pirsa.org/26100055
@misc{ pirsa_PIRSA:26100055,
doi = {},
url = {https://pirsa.org/26100055},
author = {Reis Soldati, Rodolfo},
keywords = {Quantum Information},
language = {en},
title = {Lecture - Lean-verified Quantum Information Theory, QIC 891},
publisher = {Perimeter Institute},
year = {2026},
month = {oct},
note = {PIRSA:26100055 see, \url{https://pirsa.org}}
}