Alternatives and similar repositories for MathsRevisionCheatSheets

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

• gillescastel / lecture-notes
  LaTeX code for some of my lecture notes
  ☆344Updated 3 years ago
• Name-Kompsky / tripos
  Cambridge Maths Tripos notes
  ☆36Updated 4 years ago
• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆75Updated last week
• gillescastel / masterthesis
  Master Thesis
  ☆198Updated 3 years ago
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆347Updated 7 months ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆254Updated 5 months ago
• complex-analysis / complex-analysis.github.io
  Complex Analysis: A Visual and Interactive Introduction
  ☆184Updated this week
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆45Updated this week
• 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
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆69Updated last year
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆198Updated 2 weeks ago
• Ben-McKay / concrete-algebra
  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
• ncatlab / nlab
  Source code for the nLab
  ☆175Updated 2 months ago
• UlisseMini / understanding-analysis-solutions
  Solutions to Understanding Analysis by Stephen Abbott (second edition)
  ☆67Updated last year
• vEnhance / von
  Olympiad problem database
  ☆49Updated last week
• ernestyalumni / mathphysics
  Various notes and solutions on Math and Physics (and Mathematical Physics)
  ☆73Updated last year
• jez / latex-homework-class
  A class for homework assignments written in LaTeX.
  ☆152Updated 4 years ago
• jirilebl / diffyqs
  Notes on Diffy Qs, a textbook for differential equations
  ☆65Updated this week
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆196Updated last year
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆37Updated last year
• ShereenElaidi / mathnotes
  Math notes from my whole degree :-) (And one CS class, and some fun physics)
  ☆24Updated last year
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆359Updated this week
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆255Updated 6 months ago
• sreahw / schuller-quantum
  Source code for lecture notes
  ☆66Updated 7 years ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆250Updated last year
• 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…
  ☆101Updated this week
• frederic-santos / taoanalysissolutions
  Propositions of solutions to the exercises from Terence Tao's textbooks, Analysis I & II. Mirrored from https://gitlab.com/f-santos/taoan…
  ☆89Updated 2 years ago
• jopetty / lecture-notes
  A compilation of lecture notes
  ☆15Updated 6 years ago
• tarekhajjshehadi / LaTeXAestheticTemplate
  ☆75Updated 9 months ago
• avstjohn / qft
  Lecture notes transcribed from course (Youtube videos) given by by Dr. Tobias Osborne.
  ☆116Updated 3 years ago