planetmath / 11_Number_theoryLinks
☆24Updated 2 years ago
Alternatives and similar repositories for 11_Number_theory
Users that are interested in 11_Number_theory are comparing it to the libraries listed below
Sorting:
- ☆10Updated 2 years ago
- ☆39Updated 7 years ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆113Updated 2 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Algebra Number Theory book☆48Updated 3 years ago
- Metamath program - source code for the Metamath executable☆89Updated last week
- ☆15Updated last year
- LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …☆30Updated 7 months ago
- P.D. Magnus' forallx logic textbook☆68Updated 8 months ago
- Open-source number theory textbook☆63Updated last year
- A survey of known lower bounds in arithmetic circuits.☆33Updated 3 years ago
- Tim Button's open textbook on set theory☆40Updated 5 months ago
- 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
- metamath proof enumerators and other things☆92Updated 3 weeks ago
- "A First Course in Linear Algebra" open source textbook☆69Updated last month
- Analytic Number Theory high-precision GnuMP routines☆20Updated last year
- Computer calculations made easy☆138Updated last year
- Public repository for Abstact Algebra Theory and Applications☆175Updated 4 months ago
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆33Updated 7 years ago
- UCalgary version of forallx, an introduction to formal logic☆115Updated 3 months ago
- ☆30Updated 7 years ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆57Updated 3 months ago
- Applied Discrete Structures using PreTeXt☆45Updated 2 weeks ago
- Source files for https://web.evanchen.cc☆60Updated last week
- Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage☆25Updated 2 months ago
- Bounds on divsteps iterations in safegcd☆55Updated last year
- Rigorous computation of the endomorphism ring of a Jacobian☆11Updated 4 months ago
- Axiom is a free, open source computer algebra system☆391Updated 2 years ago
- (Unofficial) Gentoo Overlay for Sage- and Sage-related ebuilds☆87Updated this week
- A textbook for the transition to proof course for mathematics majors utilizing IBL.☆50Updated last month