gitcordier / FunctionalAnalysis
Solutions to some exercises from Walter Rudin's Functional Analysis
☆15Updated last year
Related projects ⓘ
Alternatives and complementary repositories for FunctionalAnalysis
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- 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
- LaTeX sources for notes for the maths courses at Cambridge.☆97Updated 5 months ago
- Unofficial solutions to Munkres Topology☆14Updated 2 years ago
- The solution to Algebra : Chapter 0 by Paolo Aluffi.☆26Updated 5 months ago
- Solution to Algebra, Chapter 0☆87Updated 8 months ago
- amateur translation project of Grothendieck's EGA.☆330Updated last month
- The user home repository for the Mathematics in Lean tutorial.☆270Updated last week
- A solutions manual for Topology by James Munkres (2nd Edition)☆31Updated last year
- Solutions to Linear Algebra Done Right by Sheldon Axler, 3rd Edition☆16Updated 2 years ago
- Contains Latex document: All solutions to M.A. Armstrong's "Basic Topology"☆11Updated last year
- 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
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆61Updated 9 months ago
- Lecture notes, exercises, homeworks for Brown CS1951x 2023☆13Updated 9 months ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆128Updated 3 months ago
- Selected Solutions to Dummit and Foote's Abstract Algebra Third Edition☆36Updated 3 years ago
- My notes on Analysis I and Analysis II, 3rd edition, written by Terence Tao.☆45Updated last year
- Lecture notes from Cambridge maths☆63Updated 9 months ago
- Notes on the algebra courses taught by Jens Franke at the university of Bonn beginning in the summer semester 2017☆12Updated 3 years ago
- Math notes from my whole degree :-) (And one CS class, and some fun physics)☆20Updated last year
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆35Updated last year
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆12Updated 2 years ago
- Convert Latex to Sympy and calculate it in Latex or Markdown in VSCode.☆90Updated last year
- HyperSnips: a powerful snippet engine for VS Code, inspired by vim's UltiSnips☆43Updated 9 months ago
- Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)☆105Updated 9 months ago
- Solutions and simulations from the Essentials of Stochastic Processes by Richard Durrett☆24Updated 2 years ago
- 泛函分析讲义(许全华)习题参考答案☆42Updated 3 weeks ago
- 📝 The Lecture Notes☆95Updated this week
- Part III Maths notes for 2018-19☆20Updated 2 years ago