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
- Quantomatic is a tool for doing automated graph rewriting.☆161Updated 5 years ago
- knot theory and computational algebra software☆37Updated 10 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- DeepAlgebra☆25Updated 7 years ago
- A system for computational category theory and applications☆38Updated 8 years ago
- Riemann Hypothesis book☆74Updated 7 years ago
- Perfectoid spaces in the Lean formal theorem prover.☆118Updated 8 months ago
- Homotopy theory in Coq.☆92Updated 13 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated 2 weeks ago
- Deposited packages of the homalg project☆13Updated 2 months ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve dat…☆22Updated last month
- Lean-independent implementation of the MM-Lean link☆29Updated 2 years ago
- Let's translate works of Grothendieck☆24Updated 5 years ago
- A fast generic C++ library for applied and computational topology☆59Updated 8 years ago
- An Experiment in Haskell Symbolic Algebra☆72Updated 12 years ago
- Mathematical Components (the Book)☆141Updated last year
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆45Updated last week
- Python code for the post "Computing Homology"☆29Updated 2 years ago
- A DSL for the internal language of a topos☆64Updated 11 months ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆82Updated 4 years ago
- Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project☆13Updated last year
- ☆46Updated last year
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆120Updated 2 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- Formalization of the existence of sphere eversions☆39Updated last week
- CHomP -- Computation Homology Project software☆46Updated last year
- Numerical is the core library for Numerical Haskell☆137Updated 8 months ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Course notes for Pure Mathematics Topic D 2019☆53Updated 4 years ago