Restricted Gröbner Basis Theory for Normalization of Indexed Differential Riemann Metric Tensor Polynomials. - Jiang Liu; Tao Wang; Pingjing Hou; Feng Ni; Kun Zhu 035; Leyi Zhang (J. Syst. Sci. Complex., 2025)