Diagonalization of Pauli XX + Pauli YY
Diagonalization of a mixture of tensor products of pauli X and pauli Y by finding a common eigenbasis
Jiheon Lee
Note on Real Mathematical Analysis - Real Numbers
Chapter 1 of Real Mathematical Analysis Note
A Fast Quantum Mechanical Algorithm for Database Search
A paper on Grover's algorithm
Prover9-Mace4
First-Order Logic Autoprover and Model Generator
Towards an Ontology for Generative Design of Mechanical Assemblies
Paper by B. Aameri, H. Cheong, and J. C. Beck (2019)
Quantum Amplitude Amplification and Estimation
Paper by Brassard, Høyer, Mosca, and Tapp (2000)
Oblivious Amplitude Amplification
Paper by Berry, Childs, Cleve, Kothari, and Somma (2014)
Simulating Hamiltonian dynamics with a truncated Taylor Series
Paper by Berry, Childs, Cleve, Kothari, and Somma (2014)