dtbinh / OpenCourse
☆146Updated 5 years ago
Alternatives and similar repositories for OpenCourse:
Users that are interested in OpenCourse are comparing it to the libraries listed below
- Math & Physics Books☆135Updated 5 years ago
- 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
- Solutions to Linear Algebra Done Right, by Sheldon Axler.☆281Updated 6 months ago
- LaTeX code for some of my lecture notes☆266Updated 2 years ago
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆67Updated last year
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆87Updated 3 months ago
- UoL CM1020 Discrete Mathematics - Resources, Textbooks, and more.☆203Updated 2 years ago
- Server to host lean games.☆234Updated this week
- The user home repository for the Mathematics in Lean tutorial.☆299Updated this week
- Main repository of SageMath☆1,586Updated this week
- Automated generation of planar geometry olympiad problems☆86Updated last year
- My notes on Analysis I and Analysis II, 3rd edition, written by Terence Tao.☆48Updated last year
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆226Updated 2 months ago
- LaTeX sources for notes for the maths courses at Cambridge.☆101Updated 8 months ago
- Basic Analysis, undergraduate real analysis textbook☆70Updated 2 weeks ago
- amateur translation project of Grothendieck's EGA.☆338Updated 4 months ago
- A general-purpose programmatic animation tool☆211Updated this week
- A version of "Principles of Mathematical Analysis" by Walter Rudin (IN NEED OF NEW CONTRIBUTORS)☆25Updated 3 years ago
- Recommended textbooks from my undergrad at Imperial College London☆70Updated 5 years ago
- ☆21Updated this week
- An Infinitely Large Napkin☆1,385Updated this week
- Solution to Algebra, Chapter 0☆88Updated 11 months ago
- Asymptote preprocessor☆12Updated 2 years ago
- Completed MIT OCW 8.01SC☆30Updated 2 years ago
- Planning for an entire maths LaTeX book☆214Updated last year
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆366Updated this week
- ☆126Updated 6 years ago
- ☆69Updated 5 months ago
- "An equation for me has no meaning, unless it expresses a thought of God."― Srinivasa Ramanujan☆76Updated 4 years ago
- Solutions to Linear Algebra Done Right, Third Edition☆213Updated last year