Alternatives and similar repositories for terence-tao-analysis

Users that are interested in terence-tao-analysis are comparing it to the libraries listed below

• sleepymalc / Notes
  📝 The Lecture Notes
  ☆148Updated 7 months ago
• sleepymalc / LaTeX-Template
  📜 LaTeX Templates for Notes, Reports, CV/Resumes, and Beamers
  ☆202Updated 2 months ago
• QBobWatson / ila
  Interactive Linear Algebra
  ☆747Updated 2 years ago
• natestemen / rudin
  A version of "Principles of Mathematical Analysis" by Walter Rudin (IN NEED OF NEW CONTRIBUTORS)
  ☆29Updated 4 years ago
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆373Updated 2 months ago
• wenweili / Modulform
  Introduction to Modular Forms: A Chinese textbook about modular forms
  ☆79Updated 2 months ago
• darijgr / detnotes
  Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)
  ☆17Updated 3 years ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆72Updated last year
• AlexKontorovich / PrimeNumberTheoremAnd
  Blueprint for the PNT+ Project
  ☆221Updated this week
• sleepymalc / How2LaTeX
  📃 A compact guide to help you write professional LaTeX documents
  ☆59Updated 3 years ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆326Updated last year
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆452Updated 5 months ago
• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆86Updated this week
• Multramate / IC-GANT
  Imperial College London lecture notes for Geometry, Algebra, and Number Theory
  ☆52Updated 2 years ago
• 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…
  ☆104Updated 2 years ago
• BenjaminGor / Intro_to_LinAlg_Earth
  An applied Linear Algebra textbook flavored with Earth Science topics
  ☆177Updated last month
• BhorisDhanjal / MathsRevisionCheatSheets
  A few Mathematics Revision Cheat Sheets I've made on LaTeX.
  ☆95Updated last month
• subfish-zhou / theorem_proving_in_lean4_zh_CN
  Lean4中文教程
  ☆35Updated 11 months ago
• AareyanManzoor / Characteristic-Classes
  ☆11Updated 3 months ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆271Updated last year
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆229Updated 3 weeks ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆30Updated 12 years ago
• alissa-tung / glean
  ☆28Updated 7 months ago
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆319Updated last month
• vEnhance / web.evanchen.cc
  Source files for https://web.evanchen.cc
  ☆62Updated last week
• ImperialCollegeLondon / formalising-mathematics-2024
  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
  ☆243Updated 9 months ago
• APEXCalculus / APEXCalculusV5
  Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.
  ☆33Updated last year
• PatrickMassot / leanblueprint
  plasTeX plugin to build formalization blueprints.
  ☆287Updated 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…
  ☆84Updated 2 years ago
• mactonya / algebra-chapter-0-solutions
  The solution to Algebra : Chapter 0 by Paolo Aluffi.
  ☆35Updated last year