Alternatives and similar repositories for 11_Number_theory

Users that are interested in 11_Number_theory are comparing it to the libraries listed below

• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• planetmath / 03_Mathematical_logic_and_foundations
  ☆14Updated last year
• planetmath / 00_General
  ☆37Updated 7 years ago
• JohnCremona / ecdata
  Data files containing the Cremona Database of all elliptic curves over Q of bounded conductor: see also http://www.lmfdb.org/EllipticCurv…
  ☆20Updated last year
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆45Updated this week
• grzegorzmazur / yacas
  Computer calculations made easy
  ☆134Updated 11 months ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆49Updated 3 weeks ago
• passagemath / upstream-LiDIA
  LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …
  ☆30Updated 3 months ago
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• sagemath / publications
  Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage
  ☆25Updated 7 months ago
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆67Updated last month
• IMAGINARY / SURFER
  Sources of Java version of SURFER (which uses JavaFX 1.3.1)
  ☆33Updated 7 years ago
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆172Updated this week
• williamstein / rh
  Riemann Hypothesis book
  ☆75Updated 7 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated last year
• matchilling / org.programmingtalks.www
  📺 Love watching great programming talks? There are over 350 videos on programmingtalks.org waiting for you to discover!
  ☆20Updated 5 years ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆64Updated this week
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆82Updated last week
• linbox-team / givaro
  Givaro - C++ library for arithmetic and algebraic computations
  ☆51Updated 4 months ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆11Updated last week
• linas / anant
  Analytic Number Theory high-precision GnuMP routines
  ☆19Updated last year
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆67Updated 4 months ago
• JohnCremona / eclib
  The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve dat…
  ☆23Updated last month
• the-carlisle-group / Dado
  DevOps for Dyalog APL
  ☆16Updated 7 months ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated 10 months ago
• fredrik-johansson / flint
  My copy of FLINT -- please use https://github.com/flintlib/flint/ for development
  ☆82Updated this week
• maxima-project-on-github / maxima-packages
  Packages for the Maxima computer algebra system, contributed by users
  ☆55Updated 6 months ago
• metamath / metamath-book
  Source of metamath book
  ☆49Updated last year
• lqbrin / tea-time-numerical
  Tea Time Numerical Analysis
  ☆26Updated 2 years ago
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆51Updated this week