vEnhance / 1802Links
MIT 18.02 lecture notes on multivar
☆23Updated last month
Alternatives and similar repositories for 1802
Users that are interested in 1802 are comparing it to the libraries listed below
Sorting:
- Basic Analysis, undergraduate real analysis textbook☆86Updated this week
- Notes on Diffy Qs, a textbook for differential equations☆78Updated last week
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆330Updated last year
- LaTeX sources for notes for the maths courses at Cambridge.☆109Updated last year
- Lecture notes from Cambridge maths☆72Updated 2 years ago
- Source files for https://web.evanchen.cc☆63Updated this week
- Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis☆13Updated last week
- Theorem Proving in Lean 4☆233Updated last month
- LaTeX code for some of my lecture notes☆381Updated 3 years ago
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆79Updated 3 weeks ago
- Olympiad problem database☆54Updated last month
- Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.☆33Updated last year
- Master Thesis☆211Updated 4 years ago
- Instant Pdf Referencing☆70Updated 3 years ago
- A Typst port of undergradmath☆143Updated 2 months ago
- The user home repository for the Mathematics in Lean tutorial.☆467Updated 6 months ago
- "A First Course in Linear Algebra" open source textbook☆70Updated 3 months ago
- LaTeX graphics with TikZ, by Packt Publishing☆187Updated last year
- An implementation of numbered theorem environments in typst☆273Updated 7 months ago
- Public repository for Abstact Algebra Theory and Applications☆177Updated 3 weeks ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆95Updated 2 months ago
- An academic poster template for Typst☆150Updated 2 years ago
- An introduction to theorem proving in Lean for the impatient.☆329Updated this week
- ☆181Updated 11 months ago
- Examples for The LaTeX Companion 3rd edition☆45Updated 2 years ago
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆85Updated 2 years ago
- Introduction to Modular Forms: A Chinese textbook about modular forms☆79Updated 3 months ago
- Examples from the book Unlocking LaTeX Graphics: A Concise Guide to TikZ/PGF and PGFPLOTS. See https://latex-graphics.com for more detail…☆80Updated last year
- Typst symbol classifier☆228Updated this week
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆248Updated 10 months ago