AareyanManzoor / Characteristic-ClassesLinks
☆11Updated last month
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.☆11Updated 3 years ago
- Notes for "Applications of QFT to Geometry", UT Austin, fall 2017☆11Updated last year
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆24Updated last month
- All the math/tex files for the Automorphic Project☆19Updated last year
- Lecture notes from Cambridge maths☆71Updated last year
- Johan's clone of the cring repository from http://cring.adeel.ru/☆28Updated 12 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Updated 6 years ago
- The root repository for the SpectralSequences project.☆31Updated last month
- Convert Latex to Sympy and calculate it in Latex or Markdown in VSCode.☆107Updated 2 years ago
- ☆27Updated 4 months ago
- ☆11Updated 3 years ago
- The TeX for Adams' blue book, by the group TeXromancers☆11Updated last month
- ☆11Updated last year
- Lindemann–Weierstrass Theorem☆12Updated last year
- Python package to convert LaTeX markup to DOM☆15Updated 8 months ago
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆17Updated 3 years ago
- HyperSnips: a powerful snippet engine for VS Code, inspired by vim's UltiSnips☆50Updated last year
- NCAlgebra - Non Commutative Algebra Package for Mathematica☆174Updated last year
- CoDi: Commutative Diagrams for TeX☆31Updated 3 months ago
- Tag-based webview of LaTeX documents☆31Updated last year
- ☆15Updated last year
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆60Updated last week
- SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…☆109Updated this week
- General purpose mathematical software system, compatible fork of https://github.com/sagemath/sage supporting modularized installation wit…☆39Updated this week
- An introduction to theorem proving in Lean for the impatient.☆19Updated 6 months ago
- Fermat's Last Theorem for regular primes☆61Updated last week
- Introduction to Modular Forms: A Chinese textbook about modular forms☆78Updated 4 months ago
- Listing of online math seminars☆43Updated 2 weeks ago
- FreeTikZ☆40Updated 7 years ago
- Rubi for Mathematica☆251Updated last year