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:
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆63Updated 3 months ago
- ☆37Updated 3 weeks ago
- Python interface to GAP☆18Updated last year
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 years ago
- LinBox - C++ library for exact, high-performance linear algebra☆97Updated last month
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆31Updated 2 years ago
- M4GB: Efficient Groebner Basis algorithm☆71Updated 7 years ago
- Proof assistant for qRHL☆22Updated last month
- A computer algebra system for research in combinatorial game theory☆53Updated last year
- Notes on Diffy Qs, a textbook for differential equations☆76Updated this week
- GAP package guava - computations relative to error-correcting codes☆18Updated 3 weeks ago
- C++ library for semigroups and monoids☆63Updated last week
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆400Updated this week
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆29Updated last month
- FreeTikZ☆41Updated 7 years ago
- Embedded algebraic number fields☆14Updated 2 weeks 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…☆112Updated this week
- ☆17Updated this week
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated 2 years ago
- Successor to PolyBoRi☆21Updated 2 months ago
- Algebra Number Theory book☆48Updated 3 years ago
- Library for Polynomial System Solving through Algebraic Methods☆165Updated last week
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆63Updated 2 months ago
- A database app for ring theory☆22Updated last week
- Listing of online math seminars☆43Updated 2 months ago
- Givaro - C++ library for arithmetic and algebraic computations☆53Updated 3 months ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated this week
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆76Updated 2 years ago
- LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …☆30Updated 7 months ago
- Proof-of-concept formal verification using Hoare logic☆21Updated 5 years ago