jeffreyadams / atlasofliegroups
Automatically exported from code.google.com/p/atlasofliegroups
☆32Updated last week
Alternatives and similar repositories for atlasofliegroups:
Users that are interested in atlasofliegroups are comparing it to the libraries listed below
- knot theory and computational algebra software☆37Updated 10 years ago
- Riemann Hypothesis book☆74Updated 7 years ago
- A system for computational category theory and applications☆38Updated 8 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated 3 weeks ago
- working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python☆45Updated 10 years ago
- Python code for the post "Computing Homology"☆29Updated 2 years ago
- Successor to PolyBoRi☆19Updated 3 months ago
- DeepAlgebra☆25Updated 7 years ago
- Latex source for geometric algebra and physics notes.☆38Updated last month
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 6 years ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆79Updated 5 months ago
- A fast generic C++ library for applied and computational topology☆59Updated 8 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆72Updated 7 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- Quantomatic is a tool for doing automated graph rewriting.☆162Updated 5 years ago
- Perfectoid spaces in the Lean formal theorem prover.☆118Updated 8 months ago
- Metamath verifier in Python☆38Updated 11 months ago
- VATA Tree Automata Library☆32Updated 7 months ago
- GLUT Kleinian group visualizer☆26Updated 11 years ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 3 years 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…☆19Updated 2 months ago
- CHomP -- Computation Homology Project software☆46Updated last year
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- Haskell bindings to SymEngine☆25Updated last year
- Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project☆13Updated last year
- Let's translate works of Grothendieck☆24Updated 5 years ago
- Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/☆11Updated 6 months ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- ☆46Updated last year