Certified Misty-State Rewriting (A Question-and-Answer Guide)

Tony Newton, Dan-Adrian German

Quantum mechanics is difficult to teach because its conceptual content and mathematical notation usually arrive together. Rudolph's misty-state language was designed to decouple th…