Softwares developed in my research. 

1. Here is a program for computing comprehensive Gröbner systems and parametric radical systems over finite fields.
   An algorithm introduced in the paper “On the Radical Computation of Parametric Ideals over Finite Fields” has been implemented.
   [SageMath implementation]