AareyanManzoor / Adams-Blue-Book
The TeX for Adams' blue book, by the group TeXromancers
☆11Updated last year
Alternatives and similar repositories for Adams-Blue-Book
Users that are interested in Adams-Blue-Book are comparing it to the libraries listed below
Sorting:
- This is the TeX for Hicks ``notes on differential geometry'', TeX'd by the TeXromancers.☆10Updated 2 years ago
- ☆10Updated last year
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆23Updated last year
- ☆15Updated last year
- All the math/tex files for the Automorphic Project☆18Updated last year
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- Compute and manipulate Hodge diamonds for many classes of smooth projective varieties☆11Updated 5 months ago
- An English translation of Grothendieck's Fondements de la Géometrie Algébrique☆18Updated 4 months ago
- Formalizing Euclidean Geometry in Lean☆29Updated last year
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆58Updated 2 weeks ago
- A database app for ring theory☆22Updated last week
- A formalization of the Rubik's cube group☆27Updated 4 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- Auto math prover.☆10Updated 10 months ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆10Updated last year
- Formalization of the existence of sphere eversions☆40Updated this week
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- ☆10Updated this week
- The root repository for the SpectralSequences project.☆30Updated last month
- ☆11Updated last year
- Formalization of IMO shortlist problems in Lean 4☆14Updated 4 months ago
- Let's translate works of Grothendieck☆24Updated 5 years ago
- math puzzles from various sources, formalized in Lean☆10Updated last year
- Conservative floating point interval arithmetic in Lean☆16Updated 3 weeks ago
- ☆13Updated last year
- Lean mathzoo☆24Updated 3 years ago
- A formalized proof of Carleson's theorem in Lean☆53Updated this week
- Tag-based webview of LaTeX documents☆28Updated last year
- Repository for the conference LFTCM2024☆11Updated last year
- Lindemann–Weierstrass Theorem☆11Updated last year