AMouri / artin-algebra
Solutions to Algebra, by Michael Artin.
☆34Updated 8 years ago
Alternatives and similar repositories for artin-algebra:
Users that are interested in artin-algebra are comparing it to the libraries listed below
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- Lecture notes from Cambridge maths☆67Updated last year
- Dot files for Evan Chen (Arch Linux on i3)☆115Updated last week
- Solution to Algebra, Chapter 0☆88Updated 2 weeks ago
- amateur translation project of Grothendieck's EGA.☆345Updated 6 months ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆120Updated last year
- Solutions to Linear Algebra Done Right, Third Edition☆223Updated 2 years ago
- ☆47Updated last year
- Solutions to various math textbooks☆18Updated 9 years ago
- The solution to Algebra : Chapter 0 by Paolo Aluffi.☆28Updated 10 months ago
- Let's translate works of Grothendieck☆24Updated 5 years ago
- Olympiad problem database☆48Updated 3 weeks ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆23Updated last year
- A version of "Principles of Mathematical Analysis" by Walter Rudin (IN NEED OF NEW CONTRIBUTORS)☆25Updated 3 years ago
- Lean Library currently studying for a degree at Imperial College☆225Updated 2 months ago
- An Infinite Descent into Pure Mathematics☆42Updated 4 years ago
- VSCode extension for bTeX.☆20Updated last year
- The user home repository for the Mathematics in Lean tutorial.☆326Updated 3 weeks ago
- Repository for the QED interactive text and possible extensions☆97Updated 3 months ago
- A collection of books/notes for Math and Algorithm study (files available)☆126Updated 5 months ago
- Open-source number theory textbook☆59Updated 8 months ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆60Updated last year
- Repository for the Stacks Project☆903Updated 7 months ago
- My solutions to Ahlfors Complex Analysis☆27Updated 2 years ago
- Notes on the algebra courses taught by Jens Franke at the university of Bonn beginning in the summer semester 2017☆16Updated 3 years ago
- Basic Analysis, undergraduate real analysis textbook☆74Updated last week
- Source files for https://web.evanchen.cc☆44Updated 3 weeks ago
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆14Updated 2 years ago
- The Lean version manager☆364Updated last week