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