cr-marcstevens / m4gb
M4GB: Efficient Groebner Basis algorithm
☆54Updated 6 years ago
Alternatives and similar repositories for m4gb:
Users that are interested in m4gb are comparing it to the libraries listed below
- Library for Polynomial System Solving through Algebraic Methods☆108Updated last month
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆57Updated 4 months ago
- Successor to PolyBoRi☆18Updated last month
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆68Updated 2 months ago
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated last month
- A Python interface for https://github.com/fplll/fplll☆127Updated last week
- A Sage interface for FGb (Gröbner basis computations)☆34Updated 8 months ago
- M4RI is a library for fast arithmetic with dense matrices over GF(2)☆61Updated this week
- The General Sieve Kernel☆106Updated 3 weeks ago
- Tools to optimize small functions, such as S-boxes, for several criteria using SAT solvers☆26Updated 7 years ago
- Basis Reduction Algorithms for Codes (LLL and more)☆26Updated 10 months ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated last year
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆30Updated last week
- LinBox - C++ library for exact, high-performance linear algebra☆84Updated last month
- Lecture notes on the Foundations of Isogeny-based Cryptography☆28Updated 4 months ago
- ☆18Updated 5 years ago
- CryptoBib Database for Developers☆40Updated last week
- Program for finding low gate count implementations of S-boxes.☆37Updated 2 months ago
- SAT instance generator for SHA-1☆47Updated 3 years ago
- DenseQMC: A bit-slice implementation of the Quine-McCluskey algorithm☆13Updated last year
- Frobenius Additive Fourier Transform☆13Updated 6 years ago
- LaTeX class for the IACR Transactions on Symmetric Cryptology☆29Updated 5 months ago
- F4 algorithm C++ library (groebner basis computations over finite fields)☆12Updated 6 years ago
- A minimalistic and high-performance SAT solver☆26Updated last year
- ☆14Updated 10 months ago
- A survey of known lower bounds in arithmetic circuits.☆29Updated 2 years ago
- Tool to find XOR differential and rotational-XOR characteristics of ARX primitives.☆29Updated last year
- ☆13Updated 3 years ago
- Lattice algorithms using floating-point arithmetic☆328Updated 2 months ago
- Source codes for paper "An Algebraic Formulation of the Division Property: Revisiting Degree Evaluations, Cube Attacks, and Key-Independe…☆15Updated 4 years ago