- MMP (VC++) is a Mathematics-Mechanization Platform.
- wsolve is a package for solving system of polynomial equations on Maple.
- GBGC is a package for computing S-Groebner basis on Singular.
- CGS is a package for computing Comprehensive Groebner System on Magma.

- CGS&CGB is a package for computing Comprehensive Groebner Systems and Comprehensive Groebner Bases on Singular.
- Framework for GVW Implementation and Examples used in the paper "A framework for implementing the GVW algorithm efficiently".
- MatrixFactorization is a package for factorizing matrix with polynomial entries
- EHC is a package for computing extended Hensel construction of multivariable polynomials
- GVW on local ring is a package for computing standard basis by extending GVW algorithm for local ring
- parametric GCD is a package for computing GCD of multivariate polynomials with parameters
- RR is a package for computing rational representation of high-dimensional polynomial system on Maple