vEnhance / 1802Links
MIT 18.02 lecture notes on multivar
☆23Updated 3 weeks ago
Alternatives and similar repositories for 1802
Users that are interested in 1802 are comparing it to the libraries listed below
Sorting:
- Source files for https://web.evanchen.cc☆62Updated this week
- Notes on Diffy Qs, a textbook for differential equations☆77Updated last month
- Basic Analysis, undergraduate real analysis textbook☆86Updated this week
- Olympiad problem database☆54Updated 3 weeks ago
- An implementation of numbered theorem environments in typst☆272Updated 7 months ago
- LaTeX sources for notes for the maths courses at Cambridge.☆109Updated last year
- Master Thesis☆210Updated 4 years ago
- Introduction to Modular Forms: A Chinese textbook about modular forms☆79Updated 2 months ago
- Effortlessly create quantum circuit diagrams in Typst.☆98Updated last week
- A package for marking and annotating in math blocks in Typst.☆65Updated 2 months ago
- ☆11Updated 4 months ago
- Complex Analysis: A Visual and Interactive Introduction☆212Updated this week
- LaTeX graphics with TikZ, by Packt Publishing☆186Updated last year
- Listing of online math seminars☆43Updated 3 months ago
- ☆105Updated last month
- ☆181Updated 10 months ago
- Instant Pdf Referencing☆70Updated 3 years ago
- Lecture notes from Cambridge maths☆72Updated 2 years ago
- Typst-setting finite automata with CeTZ.☆141Updated 8 months ago
- A Typst package for creating colorful and customizable boxes☆136Updated 6 months ago
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆26Updated 4 months ago
- The user home repository for the Mathematics in Lean tutorial.☆461Updated 5 months ago
- A project to digitalise results from physics into Lean.☆460Updated this week
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆329Updated last year
- Mathematical tools to use with amsmath☆66Updated last year
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆247Updated 10 months ago
- GeoGebra Discovery☆27Updated last week
- Export presentation slides in various formats for Touying.☆108Updated last month
- Notes for "Applications of QFT to Geometry", UT Austin, fall 2017☆12Updated last year
- 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