GitHub repository: sdiehl/groebner
Primary language: Rust
Description: F4 algorithm for computing Gröbner basis