algebraic-solving / msolveLinks
Library for Polynomial System Solving through Algebraic Methods
☆149Updated last week
Alternatives and similar repositories for msolve
Users that are interested in msolve are comparing it to the libraries listed below
Sorting:
- M4GB: Efficient Groebner Basis algorithm☆55Updated 6 years ago
- M4RI is a library for fast arithmetic with dense matrices over GF(2)☆72Updated last month
- A Sage interface for FGb (Gröbner basis computations)☆35Updated last year
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆74Updated 4 months ago
- General purpose mathematical software system, compatible fork of https://github.com/sagemath/sage supporting modularized installation wit…☆35Updated this week
- Lattice algorithms using floating-point arithmetic☆363Updated 3 months ago
- FLINT (Fast Library for Number Theory)☆522Updated this week
- Fast lattice reduction☆212Updated last week
- ☆33Updated last month
- A Python interface for https://github.com/fplll/fplll☆144Updated 2 months ago
- ☆36Updated 2 weeks ago
- Lattice Sieving using GPU Tensor cores based on the General Sieve Kernel (G6K)☆34Updated 4 months ago
- The General Sieve Kernel☆122Updated last month
- Fast lattice reduction using segmentation, multithreading, Seysen reduction and BLAS☆32Updated last month
- Successor to PolyBoRi☆20Updated 3 months ago
- DenseQMC: A bit-slice implementation of the Quine-McCluskey algorithm☆15Updated last year
- A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH☆136Updated 2 years ago
- Structured BVA☆38Updated last year
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆62Updated 3 weeks ago
- A Cryptographic Library for the Automated Analysis of Symmetric Primitives☆67Updated last week
- Python bindings for Flint and Arb☆136Updated last week
- F4 algorithm C++ library (groebner basis computations over finite fields)☆12Updated 7 years ago
- Implementation of the fastest ISD algorithms☆22Updated 6 months ago
- Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper☆83Updated 3 years ago
- ☆298Updated last year
- Representing DES in Z3☆15Updated 2 years ago
- ☆20Updated 6 years ago
- a Sparse Direct Solver modulo p☆26Updated 9 months ago
- ☆44Updated 2 years ago
- Lattices in Cryptography (University of Michigan)☆94Updated 10 months ago