PratikAghor / lec_notes
lecture notes that I wished were available somewhere
☆15Updated 2 years ago
Alternatives and similar repositories for lec_notes:
Users that are interested in lec_notes are comparing it to the libraries listed below
- Solutions to Linear Algebra Done Right, by Sheldon Axler.☆285Updated 6 months ago
- Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)☆107Updated last year
- Lecture notes from Cambridge maths☆66Updated last year
- Propositions of solutions to the exercises from Terence Tao's textbooks, Analysis I & II. Mirrored from https://gitlab.com/f-santos/taoan…☆79Updated 2 years ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆88Updated 3 months ago
- ☆222Updated 6 months ago
- ☆17Updated 9 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆228Updated 2 months ago
- Collaboration / Topic requests for SoME☆211Updated last year
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆67Updated last year
- Solutions to various math textbooks☆18Updated 9 years ago
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- Complex Analysis: A Visual and Interactive Introduction☆175Updated this week
- Lecture notes transcribed from course (Youtube videos) given by by Dr. Tobias Osborne.☆113Updated 3 years ago
- The user home repository for the Mathematics in Lean tutorial.☆303Updated last week
- ☆191Updated 2 years ago
- Source code for all the animations in my videos. Uses @3b1b's manim library☆168Updated 9 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…☆119Updated 11 months ago
- MIT IAP short course: Matrix Calculus for Machine Learning and Beyond☆372Updated last month
- A guide on STEM PhD admissions☆439Updated 4 months ago
- Code / solutions for Mathematics for Machine Learning (MML Book)☆1,060Updated last year
- Source code for lecture notes☆66Updated 7 years ago
- ☆38Updated last month
- amateur translation project of Grothendieck's EGA.☆339Updated 4 months ago
- Replicating 3Blue1Brown's math animation engine in JavaScript (p5.js)☆380Updated 4 years ago
- This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository☆45Updated 8 months ago
- Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX☆49Updated 2 months ago
- SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…☆95Updated this week
- 18.335 - Introduction to Numerical Methods course☆511Updated this week
- Basic Analysis, undergraduate real analysis textbook☆70Updated this week