Here is a program of computing Kashiwara operators and s-parametric annihilators.
An algorithm that is introduced in a paper entitled ``Algorithms for computing Kashiwara operators and s-parametric annihilators associated with isolated hypersurface singularities'' has been implemented. (17th of July, 2025)
[Risa/Asir implementation]. (SUT Journal of Mathematics)

Here is a program of computing parametric radical systems.
An algorithm that is introduced in a paper entitled ``On the radical of a polynomial ideal with parameters'' has been implemented.
[Risa/Asir implementation]. (Proc. CASC 2024)

Here is a program of computing comprehensive Gröbner systems. (Using parallel processing.)
An algorithm that is introduced in a paper entitled
``Merging Multiple Algorithms for Computing Comprehensive Gröbner Systems Using Parallel Processing'' has been implemented.
[Risa/Asir implementation]. (Proc. CASC 2024)

Here is a program of computing s-parametric annihilators.
Algorithms that are introduced in a paper entitled ``A new look at Yano-Kato method for computing s-parametric annihilators''
have been implemented. [Risa/Asir implementation].(submitted to JSC)

Here is a program of computing comprehensive Gröbner systems.
Algorithms that are introduced in a paper entitled ``Generic Gröbner basis of a parametric ideal and its application to a comprehensive Gröbner system''
have been implemented. [Risa/Asir implementation].

Here is a program of computing Noetherian operators for positive dimensional ideal. [Risa/Asir implementation]. (CASC 2023)

Here is a program of computing Noetherian operators. [Risa/Asir implementation]. (AAECC for ACA 2021)

Here is a program of CSSg method. [Singular implementation]. (JAPAN JOURNAL OF INDUSTRIAL AND APPLIED MATHEMATICS)

Here is a program for computing comprehensive standard systems. [Singular implementation]. (CASC 2020)

Here is a program for computing parametric Bernstein-Sato ideals. [Risa/Asir implementation] (JSC special issue of ISSAC2016)

Here is a program for computing CGS in rings of differential operators, holonomic D-modules and b-functions.[Risa/Asir implementation] (ISSAC2016)

Logvec_semi is a program for computing logarithmic vector fields associated with parametric semi-quasihomogeneous hypersurface isolated singularities. [Risa/Asir implementation](Tsukuba J. Mathematics)

CGSW is a program for computing comprehensive Gröbner systems in a ring of differential operators. [Risa/Asir implementation]

CGS is a program for computing comprehensive Gröbner systems in a polynomial ring. [Risa/Asir implementation]