Alternatives and similar repositories for artin-algebra:

Users that are interested in artin-algebra are comparing it to the libraries listed below

• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆66Updated last year
• Name-Kompsky / tripos
  Cambridge Maths Tripos notes
  ☆36Updated 4 years ago
• hooyuser / Solution-to-Algebra-Chapter-0
  Solution to Algebra, Chapter 0
  ☆88Updated last year
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆24Updated 5 years ago
• cnewstead / infdesc
  An Infinite Descent into Pure Mathematics
  ☆42Updated 4 years ago
• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆61Updated last year
• vEnhance / von
  Olympiad problem database
  ☆47Updated this week
• natestemen / rudin
  A version of "Principles of Mathematical Analysis" by Walter Rudin (IN NEED OF NEW CONTRIBUTORS)
  ☆25Updated 3 years ago
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆119Updated last year
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆341Updated 5 months ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆71Updated last year
• darijgr / detnotes
  Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)
  ☆13Updated 2 years ago
• vEnhance / dotfiles
  Dot files for Evan Chen (Arch Linux on i3)
  ☆114Updated 2 weeks ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆234Updated 3 months ago
• Multramate / IC-GANT
  Imperial College London lecture notes for Geometry, Algebra, and Number Theory
  ☆36Updated last year
• CuprousIodide / Poinchinski-Memories
  Translation of professor Joseph Polchinski's article 'Memories of a Theoretical Physicist'
  ☆23Updated 7 years ago
• leanprover-community / mathlib-tools
  Development tools for https://github.com/leanprover-community/mathlib
  ☆34Updated last year
• buckeye-cn / ACM_ICPC_Materials
  Preparation materials for ACM ICPC
  ☆36Updated 2 weeks ago
• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆71Updated last month
• Trebor-Huang / vscode-btex
  VSCode extension for bTeX.
  ☆20Updated last year
• mpfeifer1 / Kattis
  This repo contains solutions to all of the Kattis problems I have completed. If you have any questions regarding a solution, feel more th…
  ☆174Updated 3 years ago
• vlecomte / cp-geo
  Handbook of geometry for competitive programmers
  ☆86Updated 6 years ago
• FR-vdash-bot / transcendental
  Lindemann–Weierstrass Theorem
  ☆11Updated 10 months ago
• banana-space / btex
  ☆46Updated last year
• rajatvd / manimnx
  Interface between networkx and manim
  ☆50Updated 4 years ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester.
  ☆80Updated this week
• choukh / Set-Theory
  A formalization of the textbook Elements of Set Theory
  ☆59Updated 3 years ago
• banana-space / banana-space
  ☆168Updated 11 months ago
• SpectralSequences / sseq
  The root repository for the SpectralSequences project.
  ☆28Updated this week