Alternatives and similar repositories for MathsRevisionCheatSheets:

Users that are interested in MathsRevisionCheatSheets are comparing it to the libraries listed below

• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆74Updated last week
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆66Updated last year
• Name-Kompsky / tripos
  Cambridge Maths Tripos notes
  ☆36Updated 4 years ago
• gillescastel / masterthesis
  Master Thesis
  ☆192Updated 3 years ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆240Updated 4 months ago
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆24Updated 5 years ago
• jirilebl / ca
  Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis
  ☆10Updated last month
• AareyanManzoor / Matsumura-Commutative-Algebra
  This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers
  ☆23Updated last year
• vEnhance / von
  Olympiad problem database
  ☆48Updated 2 weeks ago
• complex-analysis / complex-analysis.github.io
  Complex Analysis: A Visual and Interactive Introduction
  ☆182Updated 3 weeks 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…
  ☆120Updated last year
• matheusgirola / Halmos-Naive-Set-Theory-OCR-LaTeX-Reedition
  Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX
  ☆52Updated 4 months ago
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆345Updated 6 months ago
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆104Updated 5 months ago
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆175Updated this week
• sreahw / schuller-geometric
  Source code for lecture notes
  ☆146Updated 8 months ago
• ernestyalumni / mathphysics
  Various notes and solutions on Math and Physics (and Mathematical Physics)
  ☆71Updated last year
• dev-aditya / LaTeX-template
  A colorful latex template for notes and weekly math assignments.
  ☆93Updated 3 years ago
• jirilebl / diffyqs
  Notes on Diffy Qs, a textbook for differential equations
  ☆63Updated last week
• mikinty / Understanding-Analysis-Abbott-Solutions
  Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)
  ☆109Updated last year
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆44Updated 3 weeks ago
• 3-manifolds / SnapPy
  SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…
  ☆96Updated 3 weeks ago
• awasthi / math-solutions
  Solutions to various math textbooks
  ☆18Updated 9 years ago
• gillescastel / lecture-notes
  LaTeX code for some of my lecture notes
  ☆270Updated 3 years ago
• leios / SoME_Topics
  Collaboration / Topic requests for SoME
  ☆210Updated last year
• ncatlab / nlab
  Source code for the nLab
  ☆172Updated last month
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆247Updated last year
• janicicpredrag / gclc
  GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…
  ☆61Updated last month
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆203Updated last week
• teorth / expdb
  Exponent pair database
  ☆46Updated last week