AareyanManzoor / Matsumura-Commutative-AlgebraView external linksLinks
This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers
☆26Sep 15, 2025Updated 5 months ago
Alternatives and similar repositories for Matsumura-Commutative-Algebra
Users that are interested in Matsumura-Commutative-Algebra are comparing it to the libraries listed below
Sorting:
- ☆11Sep 15, 2025Updated 5 months ago
- The TeX for Adams' blue book, by the group TeXromancers☆13Sep 15, 2025Updated 5 months ago
- This is the TeX for Hicks ``notes on differential geometry'', TeX'd by the TeXromancers.☆12Oct 15, 2022Updated 3 years ago
- Embed LaTeX in standards-compliant markdown.☆215Sep 8, 2015Updated 10 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Aug 16, 2013Updated 12 years ago
- Typeset version of EGA and SGA by Grothendieck.☆12Jan 28, 2014Updated 12 years ago
- ☆28Jun 4, 2025Updated 8 months ago
- ☆42May 29, 2025Updated 8 months ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆41Jul 30, 2025Updated 6 months ago
- ARCHIVED - Materials for running a Team-Based Inquiry Learning linear algebra course☆10Jul 30, 2024Updated last year
- ☆11Feb 18, 2024Updated 2 years ago
- Let's translate works of Grothendieck☆33Aug 13, 2019Updated 6 years ago
- The root repository for the SpectralSequences project.☆32Dec 26, 2025Updated last month
- LaTeX version of Grothendieck's Pursuing Stacks☆53Oct 20, 2021Updated 4 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- The works of Jane Austen, typeset and imposed and ready to be printed and bound. Available in US letter and A4 format.☆13Dec 13, 2025Updated 2 months ago
- ☆11Oct 31, 2021Updated 4 years ago
- ☆13Jul 8, 2024Updated last year
- ☆10Oct 11, 2022Updated 3 years ago
- Xy-pic extension for MathJax version 3☆38Jun 10, 2022Updated 3 years ago
- amateur translation project of Grothendieck's EGA.☆379Oct 15, 2025Updated 4 months ago
- Homepage of the Lean-zh website.☆54Jan 10, 2026Updated last month
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated last month
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Dec 18, 2018Updated 7 years ago
- Lean coding problem solving challenge website with proof verification☆13Jul 8, 2025Updated 7 months ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- Lindemann–Weierstrass Theorem☆12May 4, 2024Updated last year
- Simple x64dbg plugin to show registers on every step.☆16Jul 27, 2019Updated 6 years ago
- Virtual notebook that Evan uses for his PhD thesis.☆10Sep 5, 2025Updated 5 months ago
- math puzzles from various sources, formalized in Lean☆10Oct 21, 2023Updated 2 years ago
- Scratchpad/Chain-of-Thought Prompts☆12Jun 6, 2022Updated 3 years ago
- Companion repository to "Prompt Compression and Contrastive Conditioning for Controllability and Toxicity Reduction in Language Models"☆14May 31, 2023Updated 2 years ago
- AcidIsland Bukkit plugin for Minecraft - now archived so see this URL:☆10Feb 16, 2019Updated 7 years ago
- Streamlines the creation of dataset to train a Large Language Model with triplets : instruction-input-output . The default configuration …☆13Apr 17, 2023Updated 2 years ago
- Simple c++ wrapper for xz utils☆13Jul 1, 2021Updated 4 years ago
- ☆12Feb 10, 2026Updated last week
- Simple anti-tamper embedded into a simple string encryption.☆10Mar 7, 2019Updated 6 years ago
- The LaTeX template of my book Like a Boss http://LikeaBossBook.net☆12Apr 21, 2017Updated 8 years ago
- Compute and manipulate Hodge diamonds for many classes of smooth projective varieties☆11Jan 22, 2026Updated 3 weeks ago