holdenlee / number-theoryLinks
Open-source number theory textbook
☆61Updated last year
Alternatives and similar repositories for number-theory
Users that are interested in number-theory are comparing it to the libraries listed below
Sorting:
- Elementary Number Theory: Primes, Congruences, and Secrets☆110Updated 2 years ago
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆83Updated last year
- Public repository for Abstact Algebra Theory and Applications☆172Updated this week
- Let's translate works of Grothendieck☆26Updated 5 years ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated 2 years ago
- An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado☆261Updated this week
- Lecture notes from Cambridge maths☆69Updated last year
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- Group theory visualization software in the browser☆253Updated last year
- Supplementary code for Introduction to Theoretical Computer Science book.☆67Updated last year
- ☆147Updated this week
- Applied Discrete Structures using PreTeXt☆45Updated last week
- Lean Library currently studying for a degree at Imperial College☆226Updated 5 months ago
- Basic Analysis, undergraduate real analysis textbook☆78Updated this week
- amateur translation project of Grothendieck's EGA.☆354Updated 9 months ago
- PreTeXt: an authoring and publishing system for scholarly documents☆294Updated this week
- Olympiad problem database☆52Updated last week
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆91Updated 9 months ago
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆24Updated last year
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- Info on resources for studying math, stats, CS, etc.☆212Updated 2 years ago
- An archive of pretty much every solution I've written for programming contests.☆24Updated 2 years ago
- Java implementations of sequences in the OEIS☆64Updated this week
- Labs for the Foundations of Applied Mathematics curriculum.☆223Updated 8 months ago
- Tim Button's open textbook on set theory☆39Updated last month
- Perfectoid spaces in the Lean formal theorem prover.☆125Updated last year
- The user home repository for the Mathematics in Lean tutorial.☆391Updated last month
- A visualization of key structures in abstract algebra.☆156Updated 5 years ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 4 years ago
- Notes on Diffy Qs, a textbook for differential equations☆72Updated this week