abetten / orbiterLinks
Classification of combinatorial objects
☆19Updated 3 weeks ago
Alternatives and similar repositories for orbiter
Users that are interested in orbiter are comparing it to the libraries listed below
Sorting:
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 years ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆63Updated 4 months ago
- A tool for proving and organizing general theorems using Python.☆31Updated last week
- A database app for ring theory☆22Updated last month
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆30Updated 2 weeks ago
- LinBox - C++ library for exact, high-performance linear algebra☆97Updated 3 months ago
- Ipython notebook that explains diagonalization of ciculant / Toeplitz matrices☆15Updated 9 years ago
- ☆38Updated 2 months ago
- Notes on Diffy Qs, a textbook for differential equations☆77Updated last month
- A computer algebra system for research in combinatorial game theory☆54Updated 2 years ago
- C++ library for semigroups and monoids☆64Updated last week
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Updated 12 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…☆23Updated last week
- FreeTikZ☆41Updated 7 years ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆50Updated last week
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆76Updated 2 years ago
- Python bindings for Flint and Arb☆142Updated 3 weeks ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆50Updated 8 months ago
- Givaro - C++ library for arithmetic and algebraic computations☆53Updated 4 months ago
- GAP package guava - computations relative to error-correcting codes☆18Updated 2 weeks ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated 2 years ago
- PolyLib official git.☆11Updated last month
- Successor to PolyBoRi☆22Updated 3 months ago
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆406Updated last week
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Updated 4 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…☆113Updated last week
- Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.☆25Updated 3 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- Implementation of a tropical sampling algorithm for Euclidean parametric Feynman integrals☆13Updated 5 months ago
- M4GB: Efficient Groebner Basis algorithm☆71Updated 7 years ago