abetten / orbiterLinks
Classification of combinatorial objects
☆19Updated 2 weeks ago
Alternatives and similar repositories for orbiter
Users that are interested in orbiter are comparing it to the libraries listed below
Sorting:
- ☆37Updated this week
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆63Updated 2 months ago
- Ipython notebook that explains diagonalization of ciculant / Toeplitz matrices☆15Updated 9 years ago
- A database app for ring theory☆22Updated 2 weeks ago
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated 2 years ago
- M4GB: Efficient Groebner Basis algorithm☆71Updated 6 years ago
- ☆25Updated last month
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆29Updated 3 weeks ago
- Python bindings for Flint and Arb☆141Updated last week
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆22Updated 3 months ago
- LinBox - C++ library for exact, high-performance linear algebra☆97Updated last month
- Listing of online math seminars☆43Updated last month
- Embedded algebraic number fields☆14Updated last week
- 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…☆112Updated last week
- A Lean 4 Jupyter kernel via repl☆28Updated last year
- Notes on Diffy Qs, a textbook for differential equations☆76Updated this week
- Python implementation of the monster group☆54Updated last week
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 years ago
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆43Updated 4 months ago
- GAP package guava - computations relative to error-correcting codes☆16Updated 2 weeks ago
- Successor to PolyBoRi☆21Updated last month
- FreeTikZ☆40Updated 7 years ago
- LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …☆30Updated 6 months ago
- ☆15Updated 2 months ago
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆63Updated 2 months ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Updated 12 years ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated 3 weeks ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated 2 years ago
- Givaro - C++ library for arithmetic and algebraic computations☆53Updated 2 months ago
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Updated 4 years ago