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:
- ☆39Updated 7 years ago
- ☆15Updated last year
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 years ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆113Updated 2 years ago
- Analytic Number Theory high-precision GnuMP routines☆20Updated last year
- P.D. Magnus' forallx logic textbook☆69Updated 9 months ago
- Computer calculations made easy☆138Updated last year
- "A First Course in Linear Algebra" open source textbook☆69Updated last month
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated this week
- Applied Discrete Structures using PreTeXt☆45Updated 3 weeks ago
- Sources of Java version of SURFER (which uses JavaFX 1.3.1)☆33Updated 7 years ago
- Public repository for Abstact Algebra Theory and Applications☆176Updated 4 months ago
- Anonymous forum system for Freenet. Resistant against censorship. Currently in development. Uses plugin-WebOfTrust as spam filter. Suppor…☆37Updated last year
- Literate Programming in C/C++☆99Updated 3 weeks ago
- A textbook for the transition to proof course for mathematics majors utilizing IBL.☆50Updated last month
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆31Updated 2 years ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆58Updated 4 months ago
- Axiom is a free, open source computer algebra system☆392Updated 2 years ago
- Source files for https://web.evanchen.cc☆62Updated this week
- 🚀 Sum of the primes below x☆39Updated 3 years ago
- Algebra Number Theory book☆48Updated 3 years ago
- Open-source number theory textbook☆63Updated last year
- Embed code, results of computations, and plots from the Sage mathematics software suite (https://www.sagemath.org) into LaTeX documents. …☆68Updated 2 years ago
- Library for exact real number computations☆40Updated 10 years ago
- Convergence verification of the Collatz problem☆73Updated last month
- metamath proof enumerators and other things☆92Updated last month
- Tim Button's open textbook on set theory☆40Updated 6 months ago
- A miniature program that can compute Pi to millions of digits.☆149Updated 2 years ago
- ☆30Updated 7 years ago
- UCalgary version of forallx, an introduction to formal logic☆115Updated 2 weeks ago