0708andreas/ParametricGroebnerBases.jl
An implementation of the Suzuki-Sato algorithm for computing Gröbner systems and comprehensive/parametric Gröbner bases
正在读取项目信息…
An implementation of the Suzuki-Sato algorithm for computing Gröbner systems and comprehensive/parametric Gröbner bases