Archives
- 28 May Note on Real Mathematical Analysis - Real Numbers
- 24 May A Fast Quantum Mechanical Algorithm for Database Search
- 12 May Prover9-Mace4
- 09 May Towards an Ontology for Generative Design of Mechanical Assemblies
- 05 May Quantum Amplitude Amplification and Estimation
- 04 May Oblivious Amplitude Amplification
- 02 May Simulating Hamiltonian dynamics with a truncated Taylor Series