Alternatives and similar repositories for 11_Number_theory

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

• planetmath / 05_Combinatorics
  ☆10Updated 2 years ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆62Updated 2 years ago
• planetmath / 00_General
  ☆39Updated 7 years ago
• planetmath / 03_Mathematical_logic_and_foundations
  ☆15Updated last year
• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆113Updated 2 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…
  ☆21Updated last year
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• linas / anant
  Analytic Number Theory high-precision GnuMP routines
  ☆20Updated last year
• grzegorzmazur / yacas
  Computer calculations made easy
  ☆139Updated last year
• holdenlee / number-theory
  Open-source number theory textbook
  ☆63Updated last year
• fredrik-johansson / flint
  My copy of FLINT -- please use https://github.com/flintlib/flint/ for development
  ☆82Updated this week
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆69Updated 9 months ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆68Updated this week
• IMAGINARY / SURFER
  Sources of Java version of SURFER (which uses JavaFX 1.3.1)
  ☆33Updated 7 years ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆90Updated last month
• ascherer / sgb
  Stanford GraphBase
  ☆37Updated last week
• metamath / metamath-book
  Source of metamath book
  ☆53Updated 2 years ago
• danaj / Math-Prime-Util
  Perl (XS) module implementing prime number utilities, including sieves
  ☆50Updated this week
• dubrousky / mockmma
  ☆30Updated 8 years ago
• sipa / safegcd-bounds
  Bounds on divsteps iterations in safegcd
  ☆57Updated last year
• dcernst / IBL-IntroToProof
  A textbook for the transition to proof course for mathematics majors utilizing IBL.
  ☆51Updated last week
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆69Updated 2 months ago
• ascherer / cwebbin
  Literate Programming in C/C++
  ☆37Updated last month
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆45Updated last month
• arechnitzer / CLP1
  "CLP-1 Differential Calculus" open source textbook
  ☆65Updated 2 months ago
• anton-petrunin / birkhoff
  Euclidean plane and its relatives; a minimalist introduction.
  ☆19Updated last month
• sagemath / publications
  Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage
  ☆25Updated 3 months ago
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆62Updated last week
• 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 8 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 2 months ago