planetmath / 11_Number_theoryLinks
☆26Updated 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:
- ☆11Updated 2 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 years ago
- ☆16Updated 2 years ago
- Analytic Number Theory high-precision GnuMP routines☆20Updated 2 years ago
- P.D. Magnus' forallx logic textbook☆69Updated 10 months ago
- ☆39Updated 7 years ago
- Embed code, results of computations, and plots from the Sage mathematics software suite (https://www.sagemath.org) into LaTeX documents. …☆69Updated 2 years ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆113Updated 2 years ago
- Computer calculations made easy☆139Updated last year
- "A First Course in Linear Algebra" open source textbook☆70Updated 2 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 this week
- The Sage Cell Server---providing a way to embed Sage computations into any web page.☆217Updated this week
- Provider library - a library of small helpers. These may or may not become part of OpenSSL at some point☆12Updated 8 months ago
- LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …☆30Updated 9 months ago
- Algebra Number Theory book☆48Updated 3 years ago
- A textbook for the transition to proof course for mathematics majors utilizing IBL.☆51Updated last month
- Convergence verification of the Collatz problem☆74Updated this week
- Python implementation of the monster group☆57Updated last month
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆33Updated 7 years ago
- Public repository for Abstact Algebra Theory and Applications☆177Updated 3 weeks ago
- 🚀 Sum of the primes below x☆39Updated 3 years ago
- metamath proof enumerators and other things☆92Updated 2 months ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆58Updated 5 months ago
- ☆30Updated 8 years ago
- cbraid/braiding are C++ libraries for computations on braid groups☆11Updated last year
- Applied Discrete Structures using PreTeXt☆45Updated last month
- Literate Programming in C/C++☆37Updated this week
- Reflexive & Persistent System (artificial intelligence)☆105Updated this week
- 📺 Love watching great programming talks? There are over 350 videos on programmingtalks.org waiting for you to discover!☆20Updated 5 years ago
- Perl (XS) module implementing prime number utilities, including sieves☆50Updated last week