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
Sorting:
- A version of "Principles of Mathematical Analysis" by Walter Rudin (IN NEED OF NEW CONTRIBUTORS)☆26Updated 3 years ago
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- Lecture notes from Cambridge maths☆68Updated last year
- Solutions to Linear Algebra Done Right, Third Edition☆226Updated 2 years 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
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated last year
- ☆48Updated last year
- Basic Analysis, undergraduate real analysis textbook☆75Updated last month
- Solution to Algebra, Chapter 0☆89Updated last month
- amateur translation project of Grothendieck's EGA.☆346Updated 7 months ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆89Updated 6 months ago
- Repository for the QED interactive text and possible extensions☆98Updated 3 months ago
- An Infinite Descent into Pure Mathematics☆42Updated 4 years ago
- Let's translate works of Grothendieck☆24Updated 5 years ago
- Theory of Computing Report☆12Updated 7 months ago
- Solutions to various math textbooks☆18Updated 10 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20Updated 3 years ago
- ☆144Updated 3 months ago
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆15Updated 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…☆82Updated last year
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆36Updated last year
- The Lean version manager☆374Updated 2 weeks ago
- Perfectoid spaces in the Lean formal theorem prover.☆120Updated 10 months ago
- Hosts the website for mathlib and other Lean community infrastructure.☆62Updated this week
- Typeset assignments and problem sets using LaTeX; typographically optimized for online submission☆37Updated 4 years ago
- VSCode extension for bTeX.☆20Updated last year
- David Mackay's book review and problem solvings and own python codes, mathematica files☆57Updated 7 years ago
- Overview of tactics in Lean 4 for beginners — longer version☆81Updated 7 months ago
- A collection of books/notes for Math and Algorithm study (files available)☆127Updated 6 months ago
- A formalization of the textbook Elements of Set Theory☆59Updated 3 years ago