computational-algebra-0.0.2.0: Well-kinded computational algebra library, currently supporting Groebner basis.
Dependently-typed computational algebra libray for Groebner basis.
Modules