jakobmoosbauer / flips
☆11Updated last year
Alternatives and similar repositories for flips
Users that are interested in flips are comparing it to the libraries listed below
Sorting:
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆11Updated last year
- Python implementation of the monster group☆42Updated last week
- FreeTikZ☆38Updated 7 years ago
- ☆31Updated this week
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆33Updated 3 years ago
- ☆22Updated 2 years ago
- LinBox - C++ library for exact, high-performance linear algebra☆88Updated 3 months ago
- Sorting with Singeli☆11Updated 5 months ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- Basic Polynomial Algebra Subprograms☆15Updated 3 years ago
- GAP package guava - computations relative to error-correcting codes☆16Updated 2 weeks ago
- ☆30Updated 2 weeks ago
- Library for Polynomial System Solving through Algebraic Methods☆128Updated this week
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆46Updated last week
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆38Updated 2 weeks ago
- Classification of combinatorial objects☆17Updated last week
- ☆16Updated last year
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆60Updated 3 months ago
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated last month
- General purpose mathematical software system, fork of SageMath supporting modularized installation with pip☆24Updated this week
- Code generation tool to generate mathematical libraries☆56Updated 2 months ago
- Sigmoid Numbers backed by IEEE Floats☆17Updated 7 years ago
- Python bindings for Flint and Arb☆136Updated last week
- floating-point errors checker☆56Updated this week
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆47Updated 9 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
- Python bindings for egg☆48Updated 2 years ago
- Event Modeling Risk Assessment using Linked Diagrams (EMRALD) is a software tool developed at INL for researching the capabilities of dyn…☆15Updated last week
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year