dtbinh / OpenCourse
☆156Updated 6 years ago
Alternatives and similar repositories for OpenCourse:
Users that are interested in OpenCourse are comparing it to the libraries listed below
- The user home repository for the Mathematics in Lean tutorial.☆326Updated 3 weeks ago
- Solutions to Linear Algebra Done Right, by Sheldon Axler.☆302Updated 8 months ago
- LaTeX sources for notes for the maths courses at Cambridge.☆101Updated 10 months ago
- Propositions of solutions to the exercises from Terence Tao's textbooks, Analysis I & II. Mirrored from https://gitlab.com/f-santos/taoan…☆83Updated 2 years ago
- Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)☆109Updated last year
- The solution to Algebra : Chapter 0 by Paolo Aluffi.☆28Updated 10 months ago
- Solution to Algebra, Chapter 0☆88Updated 2 weeks ago
- Lecture notes from Cambridge maths☆67Updated last year
- ☆300Updated 7 years ago
- amateur translation project of Grothendieck's EGA.☆345Updated 6 months ago
- Solutions to Linear Algebra Done Right, Third Edition☆223Updated 2 years ago
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆66Updated last year
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆240Updated 4 months ago
- Basic Analysis, undergraduate real analysis textbook☆74Updated last week
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- ☆229Updated 8 months ago
- Contains Latex document: All solutions to M.A. Armstrong's "Basic Topology"☆11Updated 2 years ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆88Updated 5 months ago
- Tool for live presentations using manim☆588Updated this week
- 代数基本观念☆14Updated last month
- 泛函分析讲义(许全华)习题参考 答案☆50Updated 3 weeks ago
- All My LaTeX Works till Now are here all togather.☆125Updated 2 weeks ago
- Solutions to various math textbooks☆18Updated 9 years ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆421Updated this week
- ☆74Updated 7 months ago
- ☆139Updated 6 years ago
- Collaboration / Topic requests for SoME☆210Updated last year
- This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository☆46Updated 10 months ago
- ☆43Updated 5 months ago
- LaTeX graphics with TikZ, by Packt Publishing☆151Updated 10 months ago