{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:36:13Z","timestamp":1775054173104,"version":"3.50.1"},"reference-count":22,"publisher":"Pleiades Publishing Ltd","issue":"2","license":[{"start":{"date-parts":[[2019,3,1]],"date-time":"2019-03-01T00:00:00Z","timestamp":1551398400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2019,3,1]],"date-time":"2019-03-01T00:00:00Z","timestamp":1551398400000},"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":["Program Comput Soft"],"published-print":{"date-parts":[[2019,3]]},"DOI":"10.1134\/s0361768819020105","type":"journal-article","created":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T09:03:07Z","timestamp":1558947787000},"page":"81-87","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Canonical Representation of Polynomial Expressions with Indices"],"prefix":"10.1134","volume":"45","author":[{"given":"G.","family":"Shpiz","sequence":"first","affiliation":[]},{"given":"A.","family":"Kryukov","sequence":"additional","affiliation":[]}],"member":"137","published-online":{"date-parts":[[2019,5,27]]},"reference":[{"key":"7049_CR1","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1016\/j.cpc.2008.05.009","volume":"179","author":"J.M. Martin-Garcia","year":"2008","unstructured":"Martin-Garcia, J.M., Yllanesa, D., and Portugal, R., The Invar tensor package: Differential invariants of Riemann, Comput. Phys. Commun., 2008, vol. 179, p.\u00a0597.","journal-title":"Comput. Phys. Commun."},{"key":"7049_CR2","doi-asserted-by":"publisher","first-page":"013511","DOI":"10.1063\/1.3676296","volume":"53","author":"I.M. Anderson","year":"2012","unstructured":"Anderson, I.M. and Torre, C.G., New symbolic tools for differential geometry, gravitation, and field theory, J. Math. Phys., 2012, vol. 53, p. 013511.","journal-title":"J. Math. Phys."},{"key":"7049_CR3","unstructured":"GRTensorII. http:\/\/grtensor.phy.queensu.ca."},{"key":"7049_CR4","unstructured":"Atlas 2. http:\/\/digi-area.com\/Maple\/atlas."},{"key":"7049_CR5","unstructured":"xTerior. http:\/\/www.xact.es\/xTerior\/index.html."},{"key":"7049_CR6","unstructured":"Gourgoulhon, E. and Mancini, M., Symbolic tensor calculus on manifolds, 2018. https:\/\/www.arxiv.org\/abs \/1804.07346v1."},{"key":"7049_CR7","doi-asserted-by":"crossref","unstructured":"Abramov, S.A. and Bogolyubskaya, A.A., Seminar on computer algebra in 2016\u20132017, Programmirovanie, 2018, no. 2, pp. 3\u20134. http:\/\/www.ccas.ru\/sabramov\/ seminar\/doku.php.","DOI":"10.31857\/S0132347423020024"},{"key":"7049_CR8","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1134\/S0361768813030031","volume":"39","author":"A.V. Korol\u2019kova","year":"2013","unstructured":"Korol\u2019kova, A.V., Kulyabov, D.S., and Sevast\u2019yanov, L.A., Tensor computations in computer algebra systems, Program. Comput. Software, 2013, vol. 39, no. 3, pp. 135\u2013142.","journal-title":"Program. Comput. Software"},{"key":"7049_CR9","unstructured":"Toth, V., Tensor manipulation in GPL Maxima, 2008. http:\/\/www.vttoth.com."},{"key":"7049_CR10","unstructured":"MAXIMA. http:\/\/www.maxima.sourceforge.net."},{"key":"7049_CR11","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1016\/j.cpc.2009.10.020","volume":"181","author":"L. Brewin","year":"2010","unstructured":"Brewin, L., A brief introduction to Cadabra: A tool for tensor computations in general relativity, Comput. Phys. Commun., 2010, vol. 181, pp. 489\u2013498.","journal-title":"Comput. Phys. Commun."},{"key":"7049_CR12","unstructured":"Hearn, A.C. and Sch\u00f6pf, R., REDUCE User\u2019s Manual, Free Version. https:\/\/reduce-algebra.sourceforge. io\/manual\/manual.html."},{"key":"7049_CR13","first-page":"012060","volume":"608","author":"S. Poslavsky","year":"2015","unstructured":"Poslavsky, S. and Bolotin, D., Redberry: A computer algebra system designed for tensor manipulation, J. Phys.: Conf. Ser., 2015, vol. 608, p. 012060.","journal-title":"J. Phys.: Conf. Ser"},{"key":"7049_CR14","doi-asserted-by":"crossref","unstructured":"Li, H., Li, Z., and Li, Y., Riemann tensor polynomial canonicalization by graph algebra extension, Proc. Int. Symp. Symbolic and Algebraic Computation (ISSAC), Kaiserslautern, 2017, pp. 269\u2013276.","DOI":"10.1145\/3087604.3087625"},{"key":"7049_CR15","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/3-540-51517-8_113","volume":"378","author":"A.Y. Rodionov","year":"1989","unstructured":"Rodionov, A.Y. and Taranov, A.Y., Combinatorial aspects of simplification of algebraic expressions, Lect. Notes Comput. Sci., 1989, vol. 378, pp. 192\u2013201.","journal-title":"Lect. Notes Comput. Sci."},{"key":"7049_CR16","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/0196-6774(83)90043-3","volume":"4","author":"G. Butler","year":"1993","unstructured":"Butler, G., Computing normalizers in permutation groups, J. Algorithms, 1993, vol. 4, pp. 163\u2013175.","journal-title":"J. Algorithms"},{"key":"7049_CR17","volume-title":"On computing double coset representatives in permutation groups, Computational Group Theory","author":"G. Butler","year":"1984","unstructured":"Butler, G., On computing double coset representatives in permutation groups, Computational Group Theory, Atkinson, M.D., Ed., Academic, 1984."},{"key":"7049_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-54955-2","volume-title":"Fundamental Algorithms for Permutation Groups","author":"G. Butler","year":"1991","unstructured":"Butler, G., Fundamental Algorithms for Permutation Groups, Berlin: Springer, 1991."},{"key":"7049_CR19","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1006\/jsco.1999.1005","volume":"31","author":"M.C. Slattery","year":"2001","unstructured":"Slattery, M.C., Computing double cosets in soluble groups, J. Symbolic Comput., 2001, vol. 31, pp. 179\u2013192.","journal-title":"J. Symbolic Comput."},{"key":"7049_CR20","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.R., ATENSOR \u2013 REDUCE program for tensor simplification, Comput. Phys. Commun., 1996, vol. 96, pp. 36\u201352.","journal-title":"Comput. Phys. Commun."},{"key":"7049_CR21","doi-asserted-by":"publisher","first-page":"640","DOI":"10.1016\/j.cpc.2007.05.015","volume":"177","author":"J.M. Martin-Garcia","year":"2007","unstructured":"Martin-Garcia, J.M., Portugal, R., and Manssur, L.R.U., The Invar tensor package, Comput. Phys. Commun., 2007, vol. 177, pp. 640\u2013648.","journal-title":"Comput. Phys. Commun."},{"key":"7049_CR22","doi-asserted-by":"crossref","unstructured":"Bolotin, D. and Poslavsky, S., Introduction to Redberry: A computer algebra system designed for tensor manipulation, 2015. https:\/\/www.arxiv.org\/pdf\/1302.1219v2.","DOI":"10.1088\/1742-6596\/608\/1\/012060"}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768819020105.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768819020105","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768819020105.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T03:16:32Z","timestamp":1775013392000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768819020105"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3]]},"references-count":22,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2019,3]]}},"alternative-id":["7049"],"URL":"https:\/\/doi.org\/10.1134\/s0361768819020105","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,3]]},"assertion":[{"value":"16 July 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 July 2018","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 August 2018","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 May 2019","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}