gitcordier / FunctionalAnalysis
Solutions to some exercises from Walter Rudin's Functional Analysis
☆15Updated last year
Related projects: ⓘ
- Python & Matlab code for the figures from the book "Learning Theory from First Principles" by Francis Bach☆13Updated 6 months ago
- LaTeX graphics with TikZ, by Packt Publishing☆118Updated 2 months ago
- The solution to Algebra : Chapter 0 by Paolo Aluffi.☆25Updated 3 months ago
- 📜 LaTeX Templates for Notes, Reports, CV/Resumes, and Beamers☆38Updated this week
- Cambridge Maths Tripos notes☆34Updated 3 years ago
- A collection of some expository notes I have written☆18Updated 2 years ago
- LaTeX sources for notes for the maths courses at Cambridge.☆92Updated 3 months ago
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆59Updated 7 months ago
- The user home repository for the Mathematics in Lean tutorial.☆240Updated last week
- Solutions and simulations from the Essentials of Stochastic Processes by Richard Durrett☆21Updated 2 years ago
- A solutions manual for Topology by James Munkres (2nd Edition)☆31Updated last year
- Lecture notes from Cambridge maths☆61Updated 7 months ago
- Solution to Algebra, Chapter 0☆86Updated 6 months ago
- Convert Latex to Sympy and calculate it in Latex or Markdown in VSCode.☆85Updated last year
- HyperSnips: a powerful snippet engine for VS Code, inspired by vim's UltiSnips☆40Updated 7 months ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆81Updated last month
- Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)☆104Updated 7 months ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆118Updated 6 months ago
- Basic Analysis, undergraduate real analysis textbook☆57Updated 2 weeks ago
- This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository☆45Updated 3 months ago
- Solutions of exercises in Algebraic Geometry☆34Updated 9 years ago
- ✍️ A way to integrate LaTeX, VS Code, and Inkscape in macOS☆331Updated 4 months ago
- Part III Maths notes for 2018-19☆20Updated 2 years ago
- Easy snippets to write faster LaTeX (in Visual Studio Code)☆71Updated 11 months ago
- Solutions to Algebra, by Michael Artin.☆31Updated 7 years ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆180Updated last week
- LaTeX code for some of my lecture notes☆234Updated 2 years ago
- Unofficial solutions to Munkres Topology☆14Updated 2 years ago
- Propositions of solutions to the exercises from Terence Tao's textbooks, Analysis I & II. Mirrored from https://gitlab.com/f-santos/taoan…☆53Updated last year
- Notes on Diffy Qs, a textbook for differential equations☆57Updated this week