AareyanManzoor / Hicks-Notes-Diff-Geo
This is the TeX for Hicks ``notes on differential geometry'', TeX'd by the TeXromancers.
☆10Updated 2 years ago
Alternatives and similar repositories for Hicks-Notes-Diff-Geo:
Users that are interested in Hicks-Notes-Diff-Geo are comparing it to the libraries listed below
- ☆10Updated last year
- The TeX for Adams' blue book, by the group TeXromancers☆11Updated last year
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆23Updated last year
- An English translation of Grothendieck's Fondements de la Géometrie Algébrique☆18Updated 4 months ago
- A LaTeX class and package is provided which allows LaTeX diagrams or other LaTeX code to be compiled standalone or as part of a main docu…☆18Updated 2 months ago
- A Lean formal proof of the Combinatorial Nullstellensatz☆11Updated 2 years ago
- Tag-based webview of LaTeX documents☆28Updated last year
- ☆31Updated last year
- Let's translate works of Grothendieck☆24Updated 5 years ago
- FreeTikZ☆38Updated 7 years ago
- All the math/tex files for the Automorphic Project☆18Updated 11 months ago
- some maths papers in English☆18Updated 3 weeks ago
- Commutative diagrams with TikZ☆50Updated 2 years ago
- Python package to convert LaTeX markup to DOM☆14Updated 2 months ago
- The root repository for the SpectralSequences project.☆30Updated 3 weeks ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆20Updated this week
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆32Updated 2 months ago
- Code that searches for ribbon bands☆15Updated 2 months ago
- A high efficient random number generator in Typst☆17Updated last week
- Convex optimization modeling in Lean 4☆45Updated 10 months ago
- Listing of online math seminars☆43Updated 7 months ago
- Super figure is a vscode extension that implements integration for Inkscape and Gimp as means to quickly launch and edit figures and see …☆18Updated last year
- Formalizing results about the Mandelbrot set in Lean☆20Updated 5 months ago
- Simple converter of Mathematica notebooks to markdown.☆50Updated last year
- ☆11Updated last year
- A perl script for searching and replacing in mathematics in LaTeX documents.☆11Updated 3 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- Lean-independent implementation of the MM-Lean link☆29Updated 2 years ago
- ☆15Updated last year
- Converts simple LaTeX to an unicode approximation (going beyond unicodeit)☆21Updated last year