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
- knot theory and computational algebra software☆37Updated 10 years ago
- A system for computational category theory and applications☆38Updated 8 years ago
- Riemann Hypothesis book☆74Updated 7 years ago
- Quantomatic is a tool for doing automated graph rewriting.☆162Updated 5 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.☆66Updated 2 months ago
- 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 2 months ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆75Updated 7 years ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆46Updated last month
- Latex source for geometric algebra and physics notes.☆38Updated last week
- Learning Algebraic Varieties from Samples☆24Updated last year
- Python code for the post "Computing Homology"☆29Updated 2 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 this week
- Homotopy theory in Coq.☆92Updated 14 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆56Updated last month
- some maths papers in English☆18Updated 2 weeks ago
- Sigma is a probabilistic programming environment implemented in Julia☆68Updated 5 years ago
- A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.☆27Updated last week
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- A high-performance DSL for deep neural networks in Julia☆53Updated 2 years ago
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- A fast generic C++ library for applied and computational topology☆59Updated 8 years ago
- Deposited packages of the homalg project☆13Updated 3 months ago
- Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project☆13Updated last year
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- Metamath verifier in Python☆38Updated last year
- Successor to PolyBoRi☆19Updated 4 months ago
- Bertini 2.0: The redevelopment of Bertini in C++.☆102Updated 2 months ago
- DeepAlgebra☆25Updated 7 years ago