nt-lib is a place to gather number theory related code on github. If you want to create or transfer your repository to nt-lib contact one of the nt-lib admins
nt-lib
Pinned Loading
Repositories
Showing 10 of 18 repositories
- local-heights-X0Nstar Public
- formalization-flow Public
A plasTeX plugin for writing structured LaTeX theorems that compile to sorry-filled Lean 4 skeletons
- diophantine-extensions Public
Code verifying that Diophantus's original rational quadruple {1/16, 33/16, 17/4, 105/16} has only the two known extensions to a rational quintuple: 549120/10201 and -26880/177241
- CurveArith Public
A Magma package for computing class groups and gonalities of curves over finite fields
- X0_25M-quotients Public
- twist-parametrized Public
Code for the paper Isolated and parameterized points on general modular curves"
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…