computational-algebra (hackage): Dependently-typed computational algebra library for Groebner basis.
Keywords: bsd3|library|math|algorithm|computational-algebra|groebner-basis|haskell|ideal|mathematics|polynomial