{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:51:18Z","timestamp":1775055078406,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,7,8]],"date-time":"2019-07-08T00:00:00Z","timestamp":1562544000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,7,8]]},"DOI":"10.1145\/3326229.3326255","type":"proceedings-article","created":{"date-parts":[[2019,7,9]],"date-time":"2019-07-09T12:53:20Z","timestamp":1562676800000},"page":"163-170","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Algorithmic Approach to Strong Consistency Analysis of Finite Difference Approximations to PDE Systems"],"prefix":"10.1145","author":[{"given":"Vladimir P.","family":"Gerdt","sequence":"first","affiliation":[{"name":"Joint Institute for Nuclear Research & Peoples' Friendship University of Russia, Dubna, Russian Fed."}]},{"given":"Daniel","family":"Robertz","sequence":"additional","affiliation":[{"name":"University of Plymouth, Plymouth, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2019,7,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1201\/9780203908518"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S096249291100002X"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcp.2013.10.015"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837934.1837950"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28212-6_3"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-02297-0_4"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.amc.2017.06.037"},{"key":"e_1_3_2_1_8_1","series-title":"Algebra and Applications","volume-title":"Difference Algebra","year":"2008","unstructured":". Levin. Difference Algebra. Volume 8 of Algebra and Applications. Springer, 2008."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2014.09.040"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2016.07.029"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cpc.2018.07.025"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.12.043"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11445-3"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1090\/coll\/021"},{"key":"e_1_3_2_1_15_1","first-page":"199","volume-title":"Computational Commutative and Non-Commutative Algebraic Geometry","author":"Gerdt P.","year":"2005","unstructured":". P. Gerdt. Involutive Algorithms for Computing Gr Bases. Computational Commutative and Non-Commutative Algebraic Geometry.IOS Press, Amsterdam, 2005, pp. 199--225. arXiv:math.AC\/0501111."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1822813"},{"key":"e_1_3_2_1_17_1","volume-title":"Gauthiers-Villars","author":"\u00e9quations Les","year":"1910","unstructured":"h. Riquier. Les syst\u00e8mes d'\u00e9quations aux d\u00e9riv\u00e9es partielles. Gauthiers-Villars, Paris, 1910."},{"key":"e_1_3_2_1_18_1","volume-title":"IV. Gauthier-Villars","year":"1929","unstructured":". Janet. Lec cons sur les syst\u00e8mes d'\u00e9quations aux d\u00e9riv\u00e9es partielles. Cahiers Scientifiques, IV. Gauthier-Villars, Paris, 1929."},{"key":"e_1_3_2_1_19_1","volume-title":"No. 5, 5--22","year":"1990","unstructured":"u Wen-tsun. On the Construction of Groebner Basis of a Polynomial Ideal Based on Riquier-Janet Theory. Mathematics - Mechanization Research Preprints, No. 5, 5--22, 1990."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/1062393"},{"key":"e_1_3_2_1_21_1","first-page":"203","article-title":"Computation of difference Gr bases","volume":"20","author":"Gerdt V. P.","unstructured":"V. P. Gerdt and D. Robertz. Computation of difference Gr bases. Comput. Sc. J. Moldova, 20, 2(59) (2012), 203--226. Package LDA is freely available on the web page http:\/\/\/algebra.data.rwth-aachen.de\/software\/Janet","journal-title":"Comput. Sc. J. Moldova"},{"key":"e_1_3_2_1_22_1","volume-title":"Elimination Methods","year":"2001","unstructured":"ongming Wang. Elimination Methods. Springer, Vienna, 2001."},{"key":"e_1_3_2_1_23_1","first-page":"107","article-title":"Rempfer","volume":"59","year":"2006","unstructured":". Rempfer. On Boundary Conditions for Incompressible Navier-Stokes Problems. Appl. Mech. Rev., 59 (2006), 107--125.","journal-title":"On Boundary Conditions for Incompressible Navier-Stokes Problems. Appl. Mech. Rev."},{"key":"e_1_3_2_1_24_1","first-page":"41","volume-title":"Proc. 6th Int.Workshop on Computer Algebra in Scientific Computing","author":"Blinkov Yu. A.","year":"2003","unstructured":"Yu. A. Blinkov, C. F. Cid, V. P. Gerdt, W. Plesken, D. Robertz. The MAPLE Package Janet: II. Linear PartialDifferential Equations. In: V. G. Ganzha, E. W. Mayr, E. V. Vorozhtsov (eds.) CASC 2003. Proc. 6th Int.Workshop on Computer Algebra in Scientific Computing, pp. 41--54. TU M\u00fcnchen (2003).Package Janet is freely available at http:\/\/\/algebra.data.rwth-aachen.de\/software\/Janet"}],"event":{"name":"ISSAC '19: International Symposium on Symbolic and Algebraic Computation","location":"Beijing China","acronym":"ISSAC '19","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"]},"container-title":["Proceedings of the 2019 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3326229.3326255","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3326229.3326255","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:25:59Z","timestamp":1750206359000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3326229.3326255"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,8]]},"references-count":24,"alternative-id":["10.1145\/3326229.3326255","10.1145\/3326229"],"URL":"https:\/\/doi.org\/10.1145\/3326229.3326255","relation":{},"subject":[],"published":{"date-parts":[[2019,7,8]]},"assertion":[{"value":"2019-07-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}