williamstein / ent
Elementary Number Theory: Primes, Congruences, and Secrets
☆108Updated last year
Alternatives and similar repositories for ent:
Users that are interested in ent are comparing it to the libraries listed below
- Algebra Number Theory book☆48Updated 3 years ago
- "A First Course in Linear Algebra" open source textbook☆67Updated last week
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- Public repository for Abstact Algebra Theory and Applications☆169Updated 9 months ago
- Riemann Hypothesis book☆74Updated 7 years ago
- Let's translate works of Grothendieck☆24Updated 5 years ago
- Mathematical Components (the Book)☆141Updated last year
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆29Updated last year
- Basic Analysis, undergraduate real analysis textbook☆74Updated 3 weeks ago
- LaTeX version of Grothendieck's Pursuing Stacks☆49Updated 3 years ago
- Open-source number theory textbook☆59Updated 9 months ago
- Perfectoid spaces in the Lean formal theorem prover.☆120Updated 9 months ago
- Tim Button's open textbook on set theory☆34Updated last year
- A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]☆166Updated 6 months ago
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆81Updated last year
- Notes on how to use the internal language of toposes in algebraic geometry☆57Updated this week
- Lecture notes from Cambridge maths☆67Updated last year
- Repository for the QED interactive text and possible extensions☆97Updated 3 months ago
- Lecture notes for a short course on proving/programming in Coq via SSReflect.☆164Updated 3 years ago
- P.D. Magnus' forallx logic textbook☆65Updated last month
- The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve dat…☆23Updated 3 months ago
- Homotopy theory in Coq.☆91Updated 14 years ago
- Notes on Diffy Qs, a textbook for differential equations☆63Updated 2 weeks ago
- 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
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 8 years ago
- Digital images used as illustrations in the Open Logic Project☆6Updated 8 years ago
- Course notes for Pure Mathematics Topic D 2019☆53Updated 5 years ago
- A formalization of geometry in Coq based on Tarski's axiom system☆197Updated this week
- A survey of known lower bounds in arithmetic circuits.☆30Updated 3 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 3 years ago