Vilin97/MazurTheorem

[Challenge] MT-X18-NONCUSP — Classify the noncuspidal rational points on the order-18 curve 3 days ago

help wanted challenge status: research-open track: finite

0

A collaborative Lean 4 formalization of Mazur's torsion theorem

Lean

#crowdsourcing#elliptic-curves#formalized-mathematics#lean4#mazur-theorem#number-theory#theorem-proving

[Challenge] MT-TC-E0-PRODUCT-DIM — Dimension of a product of abelian varieties 3 days ago

help wanted challenge status: claimable track: geometry foundation: tauceti

Vilin97/MazurTheorem

0

A collaborative Lean 4 formalization of Mazur's torsion theorem

Lean

#crowdsourcing#elliptic-curves#formalized-mathematics#lean4#mazur-theorem#number-theory#theorem-proving

[Challenge] MT-TC-A1-ORDER-SUPPORT — Finite support of orders of rational functions 6 days ago

help wanted challenge status: claimable track: geometry foundation: tauceti

Vilin97/MazurTheorem

0

A collaborative Lean 4 formalization of Mazur's torsion theorem

Lean

#crowdsourcing#elliptic-curves#formalized-mathematics#lean4#mazur-theorem#number-theory#theorem-proving

[Challenge] MT-O49-TOWER — Bridge exact order 49 to the X_0(49) correspondence 6 days ago

help wanted challenge status: claimable track: finite

Vilin97/MazurTheorem

0

A collaborative Lean 4 formalization of Mazur's torsion theorem

Lean

#crowdsourcing#elliptic-curves#formalized-mathematics#lean4#mazur-theorem#number-theory#theorem-proving

[Challenge] MT-O25-EXCLUDE — Exclude exact rational order 25 6 days ago

help wanted challenge status: research-open track: finite foundation: mathlib

Vilin97/MazurTheorem

0

A collaborative Lean 4 formalization of Mazur's torsion theorem

Lean

#crowdsourcing#elliptic-curves#formalized-mathematics#lean4#mazur-theorem#number-theory#theorem-proving

[Challenge] MT-O35-EXCLUDE — Exclude exact rational order 35 6 days ago

help wanted challenge status: research-open track: finite foundation: mathlib

Vilin97/MazurTheorem

0

A collaborative Lean 4 formalization of Mazur's torsion theorem

Lean

#crowdsourcing#elliptic-curves#formalized-mathematics#lean4#mazur-theorem#number-theory#theorem-proving

[Challenge] MT-X11-COSET — The five-coset bound on X_1(11) 6 days ago

help wanted challenge status: claimable track: finite

Vilin97/MazurTheorem

0

A collaborative Lean 4 formalization of Mazur's torsion theorem

Lean

#crowdsourcing#elliptic-curves#formalized-mathematics#lean4#mazur-theorem#number-theory#theorem-proving

[Challenge] MT-X13-NONCUSP — Classify the noncuspidal rational points on X_1(13) 6 days ago

help wanted challenge status: research-open track: finite

Vilin97/MazurTheorem

0

A collaborative Lean 4 formalization of Mazur's torsion theorem

Lean

#crowdsourcing#elliptic-curves#formalized-mathematics#lean4#mazur-theorem#number-theory#theorem-proving

Open Issues Need Help