Popular repositories Loading

1. ai_for_physics_agent_project ai_for_physics_agent_project Public

   Julia 2

2. algorithm algorithm Public

   Python

3. guaguagua_physics_benchmark guaguagua_physics_benchmark Public

   a hard physical problem set

4. zeta-simple-zeros zeta-simple-zeros Public

   Certified unconditional 67.3192911473% lower bound for simple zeros of the Riemann zeta function on the critical line; reproducible Bellman/MPFR certificate.

   C++