Alternatives and similar repositories for 11_Number_theory

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

• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆108Updated last year
• planetmath / 03_Mathematical_logic_and_foundations
  ☆14Updated last year
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆44Updated last week
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆67Updated 2 weeks ago
• planetmath / 00_General
  ☆37Updated 7 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆66Updated last month
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• arechnitzer / CLP1
  "CLP-1 Differential Calculus" open source textbook
  ☆56Updated last month
• APEXCalculus / APEXCalculusV5
  Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.
  ☆30Updated last year
• maranget / hevea
  Hevea is a fast latex to html translator
  ☆101Updated 10 months ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆61Updated this week
• 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
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 9 months ago
• passagemath / LiDIA
  LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …
  ☆30Updated last week
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆32Updated 3 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆34Updated last year
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆106Updated 3 months ago
• oscarlevin / discrete-book
  An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado
  ☆236Updated 2 weeks ago
• holdenlee / number-theory
  Open-source number theory textbook
  ☆59Updated 9 months ago
• ascherer / cwebbin
  Literate Programming in C/C++
  ☆32Updated 2 weeks ago
• dcernst / IBL-IntroToProof
  A textbook for the transition to proof course for mathematics majors utilizing IBL.
  ☆45Updated 2 weeks ago
• linas / anant
  Analytic Number Theory high-precision GnuMP routines
  ☆17Updated last year
• christianp / mastodon
  A GNU Social-compatible microblogging server
  ☆34Updated last month
• IMAGINARY / SURFER
  Sources of Java version of SURFER (which uses JavaFX 1.3.1)
  ☆32Updated 6 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 5 months ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆10Updated last month
• xournal / xournal
  Mirror of the official xournal repository
  ☆25Updated 2 years ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆72Updated last year
• jirilebl / ca
  Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis
  ☆10Updated 2 months ago
• latex3 / mathtools
  Mathematical tools to use with amsmath
  ☆63Updated 7 months ago