jakobmoosbauer / flipsLinks
☆13Updated last year
Alternatives and similar repositories for flips
Users that are interested in flips are comparing it to the libraries listed below
Sorting:
- ☆36Updated this week
- feyntrop integrates Feynman graphs using tropical sampling☆12Updated last week
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Classification of combinatorial objects☆17Updated this week
- GAP package guava - computations relative to error-correcting codes☆16Updated last month
- LinBox - C++ library for exact, high-performance linear algebra☆88Updated this week
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆62Updated this week
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- floating-point errors checker☆57Updated this week
- Basic Polynomial Algebra Subprograms☆15Updated 4 years ago
- Custom-Precision Floating-point numbers.☆36Updated 5 months ago
- Implementation of a tropical sampling algorithm for Euclidean parametric Feynman integrals☆12Updated 2 years ago
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated 3 months ago
- General purpose mathematical software system, fork of SageMath supporting modularized installation with pip☆28Updated this week
- Exponent pair database☆57Updated this week
- Library for Polynomial System Solving through Algebraic Methods☆136Updated last week
- Python bindings for Flint and Arb☆136Updated last week
- Quantum computing without the linear algebra☆59Updated last week
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆84Updated this week
- Python interface to GAP☆16Updated last year
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆11Updated 2 years ago
- Python implementation of the monster group☆48Updated 3 weeks ago
- Code generation tool to generate mathematical libraries☆56Updated 3 months ago
- TTG: Template Task Graph C++ API☆24Updated 2 weeks ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆33Updated 4 years ago
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆61Updated 3 months ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- metamath proof enumerators and other things☆94Updated 11 months ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆47Updated 2 weeks ago
- A tool for reducing differential equations for Feynman master integrals to an epsilon form.☆14Updated 4 years ago