Revision #2757 → #3214 · back to history
modifiedInteger factorization01411bdac820
| Field | From #2757 | To #3214 |
|---|
| mathlib.match_kind | related | — |
addedBra–ket notationed5f139f11f6
addedQuantum logic gate7815e71efb3e
addedCluster state1e071794c177
addedPell's equation7cbcc45e2b4a
addedBoolean satisfiability problem7b532cb2257b
addedHamiltonian ground statef5702f3c3d79
addedDiVincenzo criteriadabbc68e5627
addedQuantum decoherencef23d6901cea8
addedQuantum error correction78f60ada9868
addedQuantum key distribution7bb8756e1090
addedQuantum entanglement430fcd5874e3