awasthi / math-solutionsLinks
Solutions to various math textbooks
☆18Updated 10 years ago
Alternatives and similar repositories for math-solutions
Users that are interested in math-solutions are comparing it to the libraries listed below
Sorting:
- Lecture notes from Cambridge maths☆70Updated last year
- amateur translation project of Grothendieck's EGA.☆356Updated 10 months ago
- LaTeX code for some of my lecture notes☆356Updated 3 years ago
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- Master Thesis☆203Updated 3 years ago
- Source files for https://web.evanchen.cc☆53Updated last week
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆290Updated 8 months ago
- Solution to Algebra, Chapter 0☆94Updated 4 months ago
- My typed-up math lecture notes☆16Updated 3 years ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆92Updated 9 months ago
- A LaTeX Typesetting Game☆255Updated 5 months ago
- HyperSnips: a powerful snippet engine for VS Code, inspired by vim's UltiSnips☆49Updated last year
- TikZJax is TikZ running under WebAssembly in the browser☆27Updated 7 months ago
- A compilation of lecture notes☆16Updated 6 years ago
- OrangeX4's HyperSnips☆60Updated last year
- LaTeX sources for notes for the maths courses at Cambridge.☆105Updated last year
- ☆80Updated 2 months ago
- Olympiad problem database☆53Updated last week
- A project to digitalise results from physics into Lean.☆328Updated this week
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆24Updated last year
- Easy snippets to write faster LaTeX (in Visual Studio Code)☆90Updated last year
- Group theory visualization software in the browser☆254Updated last year
- Tag-based webview of LaTeX documents☆31Updated last year
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆17Updated 2 years ago
- Introduction to Modular Forms: A Chinese textbook about modular forms☆76Updated 3 months ago
- The user home repository for the Mathematics in Lean tutorial.☆407Updated 3 weeks ago
- Collaboration / Topic requests for SoME☆210Updated 2 years ago
- Collection of scientific old books digitized into LaTeX.☆41Updated 3 years ago
- A Lean companion to Analysis I☆1,146Updated this week
- Basic Analysis, undergraduate real analysis textbook☆80Updated 3 weeks ago