Uncertainty Principle

Alexander Treml 📧

March 26, 2024


This is a formal proof of the uncertainty principle known from quantum mechanics. It is based upon work on complex vector spaces contained in the QHLProver session. The formalization follows the proof outlined in the book "Quantum computation and quantum information" by Nielsen and Chuang.


BSD License


Related publications

  • Nielsen, M. A., & Chuang, I. L. (2012). Quantum Computation and Quantum Information. https://doi.org/10.1017/cbo9780511976667

Session Uncertainty_Principle