AareyanManzoor / Hicks-Notes-Diff-GeoLinks
This is the TeX for Hicks ``notes on differential geometry'', TeX'd by the TeXromancers.
☆11Updated 3 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
Sorting:
- ☆11Updated last month
- The TeX for Adams' blue book, by the group TeXromancers☆11Updated last month
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆24Updated last month
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆21Updated 2 months ago
- The root repository for the SpectralSequences project.☆31Updated last month
- Python package to convert LaTeX markup to DOM☆15Updated 9 months ago
- VSCode Extension - Proof Assistant for Metamath☆12Updated last month
- Conservative floating point interval arithmetic in Lean☆23Updated last month
- All the math/tex files for the Automorphic Project☆19Updated last year
- 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
- A program for drawing knots and links, with support for importing images☆32Updated last year
- A computer algebra system for research in combinatorial game theory☆49Updated last year
- FreeTikZ☆40Updated 7 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆28Updated 12 years ago
- A community database for the problems on the erdosproblems.com site☆98Updated this week
- General purpose mathematical software system, compatible fork of https://github.com/sagemath/sage supporting modularized installation wit…☆39Updated this week
- Lean-independent implementation of the MM-Lean link☆32Updated 2 years ago
- Enter Unicode characters using LaTeX notation☆95Updated last year
- Python implementation of the monster group☆53Updated 2 weeks ago
- SorryDB indexes sorries in public lean repositories☆37Updated last week
- Lean mathzoo☆25Updated 3 years ago
- Formalizing results about the Mandelbrot set in Lean☆26Updated this week
- GLUT Kleinian group visualizer☆28Updated 11 years ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated this week
- CLI for document conversion for scientific documents, powered by Mathpix OCR☆110Updated last year
- Lecture notes from Cambridge maths☆71Updated last year
- ☆11Updated last year
- A convenient way to convert files from DjVu to PDF format while preserving the text layer☆30Updated 4 years ago
- some maths papers in English☆19Updated last week
- ☆37Updated last year