algebra algebraic-data-types algebraic-structures commutative-algebra computer-algebra group-theory julia math mathematics multivariate-polynomials polynomial-arithmetic polynomials vector

algebraic-geometry commutative-algebra groebner-basis homological-algebra interpreted-programming-language mathematics modules polynomial-arithmetic polynomial-systems polynomials projective-geometry resolutions rings symbolic-computation