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…☆74Updated 2 years ago
- 📝 The Lecture Notes☆98Updated this week
- A version of "Principles of Mathematical Analysis" by Walter Rudin (IN NEED OF NEW CONTRIBUTORS)☆24Updated 3 years ago
- Lecture notes from Cambridge maths☆65Updated 11 months ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆145Updated last week
- Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis☆10Updated last week
- Introduction to Modular Forms: A Chinese textbook about modular forms☆71Updated this week
- 📜 LaTeX Templates for Notes, Reports, CV/Resumes, and Beamers☆130Updated 3 weeks ago
- Basic Analysis, undergraduate real analysis textbook☆66Updated 3 weeks ago
- 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
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆21Updated 10 months ago
- The user home repository for the Mathematics in Lean tutorial.☆294Updated last week
- Notes on Diffy Qs, a textbook for differential equations☆62Updated this week
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆36Updated last year
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- Lean4中文教程☆33Updated last year
- The solution to Algebra : Chapter 0 by Paolo Aluffi.☆27Updated 7 months ago
- All the math/tex files for the Automorphic Project☆18Updated 8 months ago
- Solution to Algebra, Chapter 0☆88Updated 10 months ago
- Notes on the algebra courses taught by Jens Franke at the university of Bonn beginning in the summer semester 2017☆14Updated 3 years ago
- plasTeX plugin to build formalization blueprints.☆180Updated this week
- NCAlgebra - Non Commutative Algebra Package for Mathematica☆160Updated last year
- An English translation of Grothendieck's Fondements de la Géometrie Algébrique☆17Updated last month
- amateur translation project of Grothendieck's EGA.☆337Updated 3 months ago
- Catalog Of Math Problems Formalized In Lean☆127Updated this week
- Various notes on mathematics and physics organized in several volumes.☆9Updated 2 weeks ago
- Let's translate works of Grothendieck☆24Updated 5 years ago
- My solutions to either class-assigned problems, problems I've found in books, or problem sets that I thought were interesting.☆18Updated 3 years 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
- A solutions manual for Introduction to Set Theory by Hrbacek and Jech☆10Updated 5 months ago