jeffreyadams / atlasofliegroups
Automatically exported from code.google.com/p/atlasofliegroups
☆32Updated this week
Alternatives and similar repositories for atlasofliegroups:
Users that are interested in atlasofliegroups are comparing it to the libraries listed below
- Learning Algebraic Varieties from Samples☆24Updated last year
- knot theory and computational algebra software☆37Updated 10 years ago
- The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.☆64Updated last week
- A system for computational category theory and applications☆38Updated 8 years ago
- Latex source for geometric algebra and physics notes.☆37Updated this week
- Quantomatic is a tool for doing automated graph rewriting.☆159Updated 5 years ago
- Simplicial sets and other combinatorial models of geometric spaces☆35Updated this week
- Haskell bindings to SymEngine☆25Updated last year
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated 2 months 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 3 weeks ago
- Macaulay2 web app with support for KaTeX and HTML output☆17Updated last month
- Some notes on the relationship between the Legendre and Fourier transforms☆11Updated 3 years ago
- Fungrim: the Mathematical Functions Grimoire☆119Updated 2 years ago
- Perfectoid spaces in the Lean formal theorem prover.☆118Updated 7 months ago
- Sigma is a probabilistic programming environment implemented in Julia☆68Updated 5 years ago
- Quick manipulation of structured data for data analysis.☆25Updated 7 years ago
- 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…☆94Updated this week
- Course notes for Pure Mathematics Topic D 2019☆52Updated 4 years ago
- Metamath verifier in Python☆37Updated 10 months ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated last year
- Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project☆13Updated last year
- 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
- Schemes in Lean (v2)☆43Updated 4 years ago
- An Experiment in Haskell Symbolic Algebra☆72Updated 12 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 6 years ago
- Riemann Hypothesis book☆74Updated 7 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆72Updated 6 years ago
- Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/☆11Updated 5 months ago
- The main source code for Regina☆36Updated last month
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago