AareyanManzoor / Characteristic-ClassesLinks
☆11Updated 4 months ago
Alternatives and similar repositories for Characteristic-Classes
Users that are interested in Characteristic-Classes are comparing it to the libraries listed below
Sorting:
- This is the TeX for Hicks ``notes on differential geometry'', TeX'd by the TeXromancers.☆12Updated 3 years ago
- Notes for "Applications of QFT to Geometry", UT Austin, fall 2017☆12Updated last year
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆26Updated 4 months ago
- All the math/tex files for the Automorphic Project☆19Updated last year
- The TeX for Adams' blue book, by the group TeXromancers☆13Updated 4 months ago
- Introduction to Modular Forms: A Chinese textbook about modular forms☆79Updated 2 months ago
- Python package to convert LaTeX markup to DOM☆15Updated 11 months ago
- Listing of online math seminars☆43Updated 3 months ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Updated 12 years ago
- Lecture notes from Cambridge maths☆72Updated last year
- ☆30Updated 2 years ago
- Notebook support for Wolfram Language in VS Code☆189Updated 2 years ago
- HyperSnips: a powerful snippet engine for VS Code, inspired by vim's UltiSnips☆53Updated last year
- Tag-based webview of LaTeX documents☆32Updated last year
- Convert Latex to Sympy and calculate it in Latex or Markdown in VSCode.☆109Updated 2 years ago
- Enter Unicode characters using LaTeX notation☆95Updated 2 years ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆202Updated last week
- CoDi: Commutative Diagrams for TeX☆31Updated 5 months ago
- ☆11Updated last year
- A template for blueprint-driven formalization projects in Lean.☆84Updated this week
- A LaTeX package to use amsthm with a key-value interface☆25Updated last month
- Fermat's Last Theorem for regular primes☆61Updated last week
- ☆28Updated 7 months ago
- Let's translate works of Grothendieck☆32Updated 6 years ago
- Lindemann–Weierstrass Theorem☆12Updated last year
- Auto math prover.☆11Updated last year
- Mathematica cells in TeX☆69Updated 4 years ago
- Lean mathzoo☆24Updated 3 years ago
- The root repository for the SpectralSequences project.☆32Updated 3 weeks ago
- HTML version of pgf-tikz documentation☆52Updated last week