circle-method

Here are 2 public repositories matching this topic...

gersh / ternary-goldbach-lean

A Lean 4 formalization of the ternary (weak) Goldbach theorem, with an explicit audited finite and computational trust boundary.

theorem-proving prime-numbers formal-verification number-theory mathlib computer-assisted-proof goldbach-conjecture analytic-number-theory lean4 formalized-mathematics circle-method ternary-goldbach

Updated Jul 16, 2026
Lean

HautevilleHouse / goldbach-conjecture-canonical-lane

Star

Canonical-lane closure package for the Goldbach Conjecture: admissible-class formulation, projection gates, local-to-global bridge, and carried remainder.

reproducibility number-theory goldbach-conjecture local-to-global mathematical-proof additive-number-theory circle-method prime-sums manifold-constrained canonical-lane

Updated Jul 6, 2026
Python

Improve this page

Add a description, image, and links to the circle-method topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the circle-method topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly