Uncertainty Principle

Alexander Treml 📧

March 26, 2024

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.


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

Depends on