- 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", this paper has been submitted to ISSAC 2015.