Grover's algorithm

**constructive mathematics**, **realizability**, **computability**

propositions as types, proofs as programs, computational trinitarianism

**algebraic quantum field theory** (perturbative, on curved spacetimes, homotopical)

**quantum mechanical system**, **quantum probability**

**interacting field quantization**

A search algorithm for quantum computers.

See also

- Wikipedia,
*Grover’s algorithm*

Discussion in terms of finite quantum mechanics in terms of dagger-compact categories:

- Jamie Vicary, Section 3 of:
*The Topology of Quantum Algorithms*, (LICS 2013) Proceedings of 28th Annual ACM/IEEE Symposium on Logic in Computer Science, pages 93-102 (arXiv:1209.3917)

Review in:

- Ali Nabi Duman,
*The Topology of Grover Algorithm*(arXiv:1405.4425)

Created on February 10, 2020 at 00:57:33. See the history of this page for a list of all contributions to it.