algebraic-solving / msolve
Library for Polynomial System Solving through Algebraic Methods
☆121Updated this week
Alternatives and similar repositories for msolve:
Users that are interested in msolve are comparing it to the libraries listed below
- M4GB: Efficient Groebner Basis algorithm☆55Updated 6 years ago
- A Sage interface for FGb (Gröbner basis computations)☆34Updated 10 months ago
- M4RI is a library for fast arithmetic with dense matrices over GF(2)☆65Updated last month
- General purpose mathematical software system, fork of SageMath supporting modularized installation with pip☆14Updated last month
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆57Updated last month
- Fast lattice reduction☆189Updated last week
- ☆21Updated 3 weeks ago
- LinBox - C++ library for exact, high-performance linear algebra☆85Updated last month
- ☆30Updated 2 weeks ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆30Updated 2 months ago
- The General Sieve Kernel☆107Updated 3 months ago
- A Python interface for https://github.com/fplll/fplll☆129Updated last month
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆69Updated 4 months ago
- Lattice algorithms using floating-point arithmetic☆340Updated 4 months ago
- a Sparse Direct Solver modulo p☆25Updated 4 months ago
- Lattice Sieving using GPU Tensor cores based on the General Sieve Kernel (G6K)☆29Updated 2 years ago
- Python bindings for Flint and Arb☆135Updated this week
- ☆36Updated 2 years ago
- GAP package guava - computations relative to error-correcting codes☆15Updated last week
- A SageMath implementation of the Castryck-Decru Key Recovery attack on SIDH☆127Updated last year
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- ☆14Updated last year
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated last month
- ☆43Updated last week
- Representing DES in Z3☆15Updated last year
- FLINT (Fast Library for Number Theory)☆479Updated this week
- Julia bindings for the FLINT number theory C library☆200Updated this week
- Lattices in Cryptography (University of Michigan)☆80Updated 5 months ago
- Parallel Groebner Basis Computation☆24Updated last year
- Functions for solving linear inequalities in integers☆45Updated last month