{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T04:01:58Z","timestamp":1749528118781,"version":"3.41.0"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T00:00:00Z","timestamp":1738195200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T00:00:00Z","timestamp":1738195200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Syst Sci Complex"],"published-print":{"date-parts":[[2025,6]]},"DOI":"10.1007\/s11424-025-3319-0","type":"journal-article","created":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T07:52:23Z","timestamp":1738223543000},"page":"1370-1387","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Restricted Gr\u00f6bner Basis Theory for Normalization of Indexed Differential Riemann Metric Tensor Polynomials"],"prefix":"10.1007","volume":"38","author":[{"given":"Jiang","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tao","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pingjing","family":"Hou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Feng","family":"Ni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kun","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leyi","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,1,30]]},"reference":[{"key":"3319_CR1","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198532538.001.0001","volume-title":"Riemamian Geometry","author":"T J Willmore","year":"1993","unstructured":"Willmore T J, Riemamian Geometry, Clarendon Press, Oxford, 1993."},{"key":"3319_CR2","doi-asserted-by":"publisher","first-page":"1151","DOI":"10.1088\/0264-9381\/9\/5\/003","volume":"9","author":"S A Fulling","year":"1992","unstructured":"Fulling S A, King R C, Wybourne B G, et al., Normal forms for tensor polynomials: I. The Riemann tensor, Class Quantum Grav, 1992, 9): 1151\u20131197.","journal-title":"Class Quantum Grav"},{"key":"3319_CR3","volume-title":"MathTensor: A System for Performing Tensor Analysis by Computer","author":"S Christensen","year":"1994","unstructured":"Christensen S and Parker L, MathTensor: A System for Performing Tensor Analysis by Computer, Addison-Wesley, Massachusetts, 1994."},{"key":"3319_CR4","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1016\/0010-4655(96)00060-4","volume":"96","author":"V A Ilyin","year":"1996","unstructured":"Ilyin V A and Kryukov A P, ATENSOR-REDUCE program for tensor simplification, Comput. Phys. Commun., 1996, 96): 36\u201352.","journal-title":"Comput. Phys. Commun."},{"key":"3319_CR5","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1063\/1.168656","volume":"12","author":"X Ja\u00e9n","year":"1998","unstructured":"Ja\u00e9n X and Balfag\u00f3n A, TTC: Symbolic tensor calculus with indices, Comput. Phys., 1998, 12): 286\u2013289.","journal-title":"Comput. Phys."},{"key":"3319_CR6","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/S0010-4655(98)00117-9","volume":"115","author":"R Portugal","year":"1998","unstructured":"Portugal R, An algorithm to simplify tensor expressions, Comput. Phys. Commun., 1998, 115): 215\u2013230.","journal-title":"Comput. Phys. Commun."},{"key":"3319_CR7","doi-asserted-by":"publisher","first-page":"7779","DOI":"10.1088\/0305-4470\/32\/44\/313","volume":"32","author":"R Portugal","year":"1999","unstructured":"Portugal R, Algorithmic simplification of tensor expressions, J. Phys. A: Math. Gen., 1999, 32): 7779\u20137789.","journal-title":"J. Phys. A: Math. Gen."},{"key":"3319_CR8","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/S0010-4655(99)00480-4","volume":"126","author":"R Portugal","year":"2000","unstructured":"Portugal R, The Riegeom package: Abstract tensor calculation, Comput. Phys. Commun., 2000, 126: 261\u2013268.","journal-title":"Comput. Phys. Commun."},{"key":"3319_CR9","doi-asserted-by":"publisher","first-page":"2491","DOI":"10.1088\/0264-9381\/17\/13\/302","volume":"17","author":"A Balfag\u00f3n","year":"2000","unstructured":"Balfag\u00f3n A and Ja\u00e9n X, Review of some classical gravitational superenergy tensors using computational techniques, Class. Quantum Grav., 2000, 17): 2491\u20132497.","journal-title":"Class. Quantum Grav."},{"key":"3319_CR10","volume-title":"On the Simplification of Tensor Expressions","author":"N Obeid","year":"2001","unstructured":"Obeid N, On the Simplification of Tensor Expressions, Dept. Comput. Sci., University of Western Ontario, London, Ontario, 2001."},{"key":"3319_CR11","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1142\/S0129183102004571","volume":"13","author":"L R U Manssur","year":"2002","unstructured":"Manssur L R U, Portugal R, and Svaiter B F, Group-theoretic approach for symbolic tensor manipulation, Internat. J. Modern Phys. C, 2002, 13): 859\u2013879.","journal-title":"Internat. J. Modern Phys. C"},{"key":"3319_CR12","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/S0010-4655(03)00494-6","volume":"157","author":"L R U Manssur","year":"2004","unstructured":"Manssur L R U and Portugal R, The Canon package: A fast kernel for tensor manipulators, Comput. Phys. Commun., 2004, 157): 173\u2013180.","journal-title":"Comput. Phys. Commun."},{"key":"3319_CR13","doi-asserted-by":"publisher","first-page":"640","DOI":"10.1016\/j.cpc.2007.05.015","volume":"177","author":"J M Mart\u00edn-Garc\u00eda","year":"2007","unstructured":"Mart\u00edn-Garc\u00eda J M, Portugal R, and Manssur LRU, The Invar tensor package, Comput. Phys. Commun., 2007, 177): 640\u2013648.","journal-title":"Comput. Phys. Commun."},{"key":"3319_CR14","doi-asserted-by":"publisher","first-page":"586","DOI":"10.1016\/j.cpc.2008.04.018","volume":"179","author":"J M Mart\u00edn-Garc\u00eda","year":"2008","unstructured":"Mart\u00edn-Garc\u00eda J M, Yllanes D, and Portugal R, The Invar tensor package: Differential invariants of Riemann, Comput. Phys. Commun., 2008, 179): 586\u2013590.","journal-title":"Comput. Phys. Commun."},{"key":"3319_CR15","doi-asserted-by":"publisher","first-page":"2266","DOI":"10.1007\/s11425-009-0005-y","volume":"52","author":"J Liu","year":"2009","unstructured":"Liu J, Li H B, and Cao Y H, Simplification and normalization of indexed differentials involving coordinate transformation, Sci. China Ser. A, 2009, 52): 2266\u20132286.","journal-title":"Sci. China Ser. A"},{"key":"3319_CR16","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1360\/012011-584","volume":"43","author":"J Liu","year":"2013","unstructured":"Liu J, Li H B, and Zhang L X, A complete classification of canonical forms of a class of Riemann tensor indexed expressions and its applications in differential geometry (in Chinese), Sci. Sin. Math., 2013, 43): 399\u2013408.","journal-title":"Sci. Sin. Math."},{"key":"3319_CR17","unstructured":"Li Z, Shao S, and Liu W, Classifications and canonical forms of tensor product expressions in the presence of permutation symmetries, 2016, arXiv: 1604.06156v1."},{"key":"3319_CR18","first-page":"269","volume-title":"Proc. ISSAC","author":"H B Li","year":"2017","unstructured":"Li H B, Li Z, and Li Y, Riemann tensor polynomial canonicalization by graph algebra extension, Proc. ISSAC, 2017, 269\u2013276."},{"key":"3319_CR19","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-319-66320-3_21","volume":"10490","author":"J Liu","year":"2017","unstructured":"Liu J, Normalization of indexed differentials based on function distance invariants, CASC 2017, Lecture Notes in Computer Science, 2017, 10490): 285\u2013300.","journal-title":"Lecture Notes in Computer Science"},{"key":"3319_CR20","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1145\/3377006.3377019","volume":"53","author":"J Liu","year":"2019","unstructured":"Liu J, Block distance invariant method for monoterm canonicalization of Riemann tensor polynomials, ACM Communications in Computer Algebra, 2019, 53): 134\u2013137.","journal-title":"ACM Communications in Computer Algebra"},{"key":"3319_CR21","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1016\/j.jsc.2020.05.001","volume":"104","author":"J Liu","year":"2021","unstructured":"Liu J and Ni F, Distance invariant method for normalization of indexed differentials, Journal of Symbolic Computation, 2021, 104): 256\u2013275.","journal-title":"Journal of Symbolic Computation"},{"issue":"2","key":"3319_CR22","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1007\/s11424-017-6325-z","volume":"31","author":"J Liu","year":"2018","unstructured":"Liu J, Normalization in Riemann tensor polynomial ring, Journal of Systems Science & Complexity, 2018, 31(2): 569\u2013580.","journal-title":"Journal of Systems Science & Complexity"},{"issue":"5","key":"3319_CR23","doi-asserted-by":"publisher","first-page":"1708","DOI":"10.1007\/s11424-020-9135-7","volume":"33","author":"J Liu","year":"2020","unstructured":"Liu J, An extension of Gr\u00f6bner basis theory to indexed polynomials without eliminations, Journal of Systems Science & Complexity, 2020, 33(5): 1708\u20131718.","journal-title":"Journal of Systems Science & Complexity"},{"issue":"5","key":"3319_CR24","doi-asserted-by":"publisher","first-page":"2016","DOI":"10.1007\/s11424-021-0302-2","volume":"35","author":"J Liu","year":"2022","unstructured":"Liu J, Ni F, Song S H, et al., Normalization of indexed differentials by extending Gr\u00f6bner basis theory, Journal of Systems Science & Complexity, 2022, 35(5): 2016\u20132028.","journal-title":"Journal of Systems Science & Complexity"}],"container-title":["Journal of Systems Science and Complexity"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-025-3319-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11424-025-3319-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-025-3319-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,9]],"date-time":"2025-06-09T10:45:41Z","timestamp":1749465941000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11424-025-3319-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,1,30]]},"references-count":24,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,6]]}},"alternative-id":["3319"],"URL":"https:\/\/doi.org\/10.1007\/s11424-025-3319-0","relation":{},"ISSN":["1009-6124","1559-7067"],"issn-type":[{"type":"print","value":"1009-6124"},{"type":"electronic","value":"1559-7067"}],"subject":[],"published":{"date-parts":[[2025,1,30]]},"assertion":[{"value":"13 August 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 October 2024","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 January 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The authors declare no conflict of interest.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of Interest"}}]}}