Numerical Simulation of Landau-Lifshitz-Gilbert Equation
Overview of numerical simulation of Landau-Lifshitz-Glibert equation using fourth-order Runge-Kutta method
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)