jeffreyadams / atlasofliegroupsLinks
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
Sorting:
- knot theory and computational algebra software☆37Updated 11 years ago
- Latex source for geometric algebra and physics notes.☆38Updated this week
- A system for computational category theory and applications☆38Updated 8 years ago
- A fast generic C++ library for applied and computational topology☆60Updated 9 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆58Updated this week
- DeepAlgebra☆25Updated 7 years ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆47Updated 3 weeks ago
- Python code for the post "Computing Homology"☆29Updated 2 years ago
- A high-performance DSL for deep neural networks in Julia☆53Updated 2 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project☆13Updated 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…☆23Updated last week
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- Quantomatic is a tool for doing automated graph rewriting.☆163Updated 5 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…☆21Updated 3 weeks ago
- CHomP -- Computation Homology Project software☆47Updated last year
- Riemann Hypothesis book☆75Updated 7 years ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- ☆48Updated last year
- A formal proof of the independence of the continuum hypothesis☆127Updated 10 months ago
- The simple essence of automatic differentiation☆200Updated 4 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆56Updated 10 years ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆85Updated 4 years ago
- Some operator abuse☆29Updated 7 years ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆80Updated 9 months ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆29Updated last year
- A Monad for simulating quantum processes.☆22Updated 10 years ago
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- Coordinate-free hypersurfaces as Haskell types☆41Updated 2 months ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago