UlisseMini / understanding-analysis-solutions
Solutions to Understanding Analysis by Stephen Abbott (second edition)
☆61Updated 9 months ago
Related projects ⓘ
Alternatives and complementary repositories for understanding-analysis-solutions
- Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)☆105Updated 9 months ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆85Updated 2 weeks ago
- Lecture notes from Cambridge maths☆63Updated 9 months ago
- Basic Analysis, undergraduate real analysis textbook☆61Updated 3 weeks ago
- Complex Analysis: A Visual and Interactive Introduction☆163Updated this week
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- MIT IAP short course: Matrix Calculus for Machine Learning and Beyond☆313Updated last month
- 18.335 - Introduction to Numerical Methods course☆499Updated 6 months ago
- Source files for https://web.evanchen.cc☆43Updated this week
- The user home repository for the Mathematics in Lean tutorial.☆270Updated last week
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆205Updated 2 weeks ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆128Updated 3 months ago
- Source code for all the animations in my videos. Uses @3b1b's manim library☆162Updated 5 months ago
- An Infinitely Large Napkin☆1,246Updated 3 weeks ago
- Server to host lean games.☆196Updated last week
- Propositions of solutions to the exercises from Terence Tao's textbooks, Analysis I & II. Mirrored from https://gitlab.com/f-santos/taoan…☆60Updated last year
- amateur translation project of Grothendieck's EGA.☆330Updated last month
- Math notes from my whole degree :-) (And one CS class, and some fun physics)☆20Updated last year
- Master Thesis☆182Updated 3 years ago
- LaTeX code for some of my lecture notes☆254Updated 2 years ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated 8 months ago
- Selected solutions to the book Linear Algebra Done Wrong.☆56Updated last year
- Info on resources for studying math, stats, CS, etc.☆185Updated last year
- ✍️ A way to integrate LaTeX, VS Code, and Inkscape in macOS☆364Updated 3 weeks ago
- Tool for live presentations using manim☆488Updated this week
- ☆88Updated this week
- Unofficial solutions for Introduction to Probability, Second Edition by Joseph Blitzstein and Jessica Hwang.☆97Updated 2 weeks ago
- LaTeX sources for notes for the maths courses at Cambridge.☆97Updated 5 months ago
- This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository☆45Updated 5 months ago
- Olympiad problem database☆44Updated 3 weeks ago