Normalization of Indexed Differentials by Extending Gröbner Basis Theory. - Jiang Liu; Feng Ni; Shihang Song; Mingjun Du (J. Syst. Sci. Complex., 2022)