ProFatXuanAll / terence-tao-analysis
My notes on Analysis I and Analysis II, 3rd edition, written by Terence Tao.
β48Updated last year
Alternatives and similar repositories for terence-tao-analysis:
Users that are interested in terence-tao-analysis are comparing it to the libraries listed below
- Propositions of solutions to the exercises from Terence Tao's textbooks, Analysis I & II. Mirrored from https://gitlab.com/f-santos/taoanβ¦β77Updated 2 years ago
- π The Lecture Notesβ105Updated this week
- The user home repository for the Mathematics in Lean tutorial.β299Updated this week
- π LaTeX Templates for Notes, Reports, CV/Resumes, and Beamersβ135Updated last month
- Basic Analysis, undergraduate real analysis textbookβ70Updated 2 weeks ago
- Server to host lean games.β234Updated this week
- Convert Latex to Sympy and calculate it in Latex or Markdown in VSCode.β95Updated last year
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistantβ226Updated 2 months ago
- Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysisβ10Updated 3 weeks ago
- A version of "Principles of Mathematical Analysis" by Walter Rudin (IN NEED OF NEW CONTRIBUTORS)β25Updated 3 years ago
- Interactive Linear Algebraβ701Updated last year
- My solutions to either class-assigned problems, problems I've found in books, or problem sets that I thought were interesting.β18Updated 4 years ago
- Solutions to some exercises from Walter Rudin's Functional Analysisβ16Updated 3 weeks ago
- Natural Number Gameβ144Updated this week
- Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.β28Updated 9 months ago
- π A compact guide to help you write professional LaTeX documentsβ58Updated 2 years ago
- An introduction to theorem proving in Lean for the impatient.β130Updated 3 months ago
- blueprint for prime number theorem and moreβ147Updated this week
- Source files for https://web.evanchen.ccβ45Updated this week
- Fundamentals of Numerical Computation text, Julia version for the MATLAB (1st) edition.β70Updated this week
- β75Updated 9 months ago
- Introduction to Modular Forms: A Chinese textbook about modular formsβ71Updated 3 weeks ago
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebraβ¦β81Updated last year
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancersβ21Updated 11 months ago
- Listing of online math seminarsβ42Updated 5 months ago
- Notes on Diffy Qs, a textbook for differential equationsβ62Updated this week
- amateur translation project of Grothendieck's EGA.β338Updated 4 months ago
- LaTeX graphics with TikZ, by Packt Publishingβ145Updated 7 months ago
- LaTeX code for some of my lecture notesβ266Updated 2 years ago
- Catalog Of Math Problems Formalized In Leanβ131Updated this week