{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T18:00:20Z","timestamp":1775066420807,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,7,25]],"date-time":"2010-07-25T00:00:00Z","timestamp":1280016000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002261","name":"Russian Foundation for Basic Research","doi-asserted-by":"publisher","award":["10-01-00200"],"award-info":[{"award-number":["10-01-00200"]}],"id":[{"id":"10.13039\/501100002261","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,7,25]]},"DOI":"10.1145\/1837934.1837950","type":"proceedings-article","created":{"date-parts":[[2010,7,27]],"date-time":"2010-07-27T14:10:11Z","timestamp":1280239811000},"page":"53-59","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Consistency of finite difference approximations for linear PDE systems and its algorithmic verification"],"prefix":"10.1145","author":[{"given":"Vladimir P.","family":"Gerdt","sequence":"first","affiliation":[{"name":"Joint Institute for Nuclear Research, Dubna, Russia"}]},{"given":"Daniel","family":"Robertz","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Templergraben, Aachen, Germany"}]}],"member":"320","published-online":{"date-parts":[[2010,7,25]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Numerical Partial Differential Equations: Finite Difference Methods","author":"Thomas J. W.","year":"1998","unstructured":"J. W. Thomas . Numerical Partial Differential Equations: Finite Difference Methods , 2 nd Edition. Springer-Verlag , New York , 1998 . J. W. Thomas. Numerical Partial Differential Equations: Finite Difference Methods, 2nd Edition. Springer-Verlag, New York, 1998.","edition":"2"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1062393"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0569-2","volume-title":"Numerical Partial Differential Equations: Conservation Laws and Elliptic Equations","author":"Thomas J. W.","year":"1999","unstructured":"J. W. Thomas . Numerical Partial Differential Equations: Conservation Laws and Elliptic Equations . Springer-Verlag , New York , 1999 . J. W. Thomas. Numerical Partial Differential Equations: Conservation Laws and Elliptic Equations. Springer-Verlag, New York, 1999."},{"key":"e_1_3_2_1_4_1","volume-title":"The group properties of difference equations","author":"Dorodnitsyn V.","year":"2001","unstructured":"V. Dorodnitsyn . The group properties of difference equations , Moscow, Fizmatlit , 2001 (in Russian) . V. Dorodnitsyn. The group properties of difference equations, Moscow, Fizmatlit, 2001 (in Russian)."},{"key":"e_1_3_2_1_5_1","volume-title":"Nonlinear equivalence, reduction of PDEs to ODEs and fast convergent numerical methods","author":"Rosinger E. E.","year":"1983","unstructured":"E. E. Rosinger . Nonlinear equivalence, reduction of PDEs to ODEs and fast convergent numerical methods . Pitman , London , 1983 . E. E. Rosinger. Nonlinear equivalence, reduction of PDEs to ODEs and fast convergent numerical methods. Pitman, London, 1983."},{"key":"e_1_3_2_1_6_1","first-page":"199","volume-title":"Involutive Algorithms for Computing Gr\u00f6bner Bases. Computational Commutative and Non-Commutative Algebraic Geometry","author":"Gerdt V. P.","year":"2005","unstructured":"V. P. Gerdt . Involutive Algorithms for Computing Gr\u00f6bner Bases. Computational Commutative and Non-Commutative Algebraic Geometry . IOS Press , Amsterdam , 2005 , pp. 199 -- 225 . arXiv:math.AC\/0501111. V. P. Gerdt. Involutive Algorithms for Computing Gr\u00f6bner Bases. Computational Commutative and Non-Commutative Algebraic Geometry. IOS Press, Amsterdam, 2005, pp. 199--225. arXiv:math.AC\/0501111."},{"issue":"3","key":"e_1_3_2_1_7_1","first-page":"425","volume":"5","author":"Gerdt V. P.","year":"2008","unstructured":"V. P. Gerdt . Gr\u00f6bner Bases Applied to Systems of Linear Difference Equations. Physics of Particles and Nuclei Letters Vol. 5 , No. 3 , 2008 , 425 -- 436 . arXiv:cs.SC\/0611041 V. P. Gerdt. Gr\u00f6bner Bases Applied to Systems of Linear Difference Equations. Physics of Particles and Nuclei Letters Vol. 5, No. 3, 2008, 425--436. arXiv:cs.SC\/0611041","journal-title":"Systems of Linear Difference Equations. Physics of Particles and Nuclei Letters"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60218-4_9"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/1822813"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-6947-5","volume-title":"Difference Algebra. Algebra and Applications 8","author":"Levin A.","year":"2008","unstructured":"A. Levin . Difference Algebra. Algebra and Applications 8 , Springer , 2008 . A. Levin. Difference Algebra. Algebra and Applications 8, Springer, 2008."},{"key":"e_1_3_2_1_11_1","first-page":"051","volume":"2","author":"Gerdt V. P.","year":"2006","unstructured":"V. P. Gerdt , Yu. A. Blinkov and V. V. Mozzhilkin . Gr\u00f6bner Bases and Generation of Difference Schemes for Partial Differential Equations. Symmetry, Integrability and Geometry: Methods and Applications (SIGMA) 2 , 051 , 2006 , 26 pages. arXiv:math.RA\/0605334 V. P. Gerdt, Yu. A. Blinkov and V. V. Mozzhilkin. Gr\u00f6bner Bases and Generation of Difference Schemes for Partial Differential Equations. Symmetry, Integrability and Geometry: Methods and Applications (SIGMA) 2, 051, 2006, 26 pages. arXiv:math.RA\/0605334","journal-title":"Symmetry, Integrability and Geometry: Methods and Applications (SIGMA)"},{"key":"e_1_3_2_1_12_1","volume-title":"Symbolic Summation and Symbolic Integration","author":"Chyzak F.","year":"1998","unstructured":"F. Chyzak . Gr\u00f6bner Bases , Symbolic Summation and Symbolic Integration . In: Gr\u00f6bner Bases and Applications, B. Buchberger and F. Winkler (Eds.), Cambridge University Press , 1998 . F. Chyzak. Gr\u00f6bner Bases, Symbolic Summation and Symbolic Integration. In: Gr\u00f6bner Bases and Applications, B. Buchberger and F. Winkler (Eds.), Cambridge University Press, 1998."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/151108"},{"key":"e_1_3_2_1_14_1","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 and D. Robertz . The MAPLE Package Janet: I. Polynomial Systems. II. Linear Partial Differential Equations . Proc. 6th Int. Workshop on Computer Algebra in Scientific Computing , Passau , 2003 . Cf. also http:\/\/wwwb.math.rwth-aachen.de\/Janet Yu. A. Blinkov, C. F. Cid, V. P. Gerdt, W. Plesken and D. Robertz. The MAPLE Package Janet: I. Polynomial Systems. II. Linear Partial Differential Equations. Proc. 6th Int. Workshop on Computer Algebra in Scientific Computing, Passau, 2003. Cf. also http:\/\/wwwb.math.rwth-aachen.de\/Janet"},{"key":"e_1_3_2_1_15_1","volume-title":"A Maple Package for Computing Gr\u00f6bner Bases for Linear Recurrence Relations. Nuclear Instruments and Methods in Physics Research 559(1)","author":"Gerdt V. P.","year":"2006","unstructured":"V. P. Gerdt and D. Robertz . A Maple Package for Computing Gr\u00f6bner Bases for Linear Recurrence Relations. Nuclear Instruments and Methods in Physics Research 559(1) , 2006 , 215--219. arXiv:cs.SC\/0509070. Cf . also http:\/\/wwwb.math.rwth-aachen.de\/Janet V. P. Gerdt and D. Robertz. A Maple Package for Computing Gr\u00f6bner Bases for Linear Recurrence Relations. Nuclear Instruments and Methods in Physics Research 559(1), 2006, 215--219. arXiv:cs.SC\/0509070. Cf. also http:\/\/wwwb.math.rwth-aachen.de\/Janet"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/11555964_15"},{"key":"e_1_3_2_1_17_1","volume-title":"No. 4","author":"Khovanskii A. G.","year":"2005","unstructured":"A. G. Khovanskii and S. P. Chulkov . Hilbert polynomial for a system of linear partial differential equations. Research Report in Mathematics , No. 4 , Stockholm University , 2005 . A. G. Khovanskii and S. P. Chulkov. Hilbert polynomial for a system of linear partial differential equations. Research Report in Mathematics, No. 4, Stockholm University, 2005."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1073884.1073935"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04103-7_10"},{"key":"e_1_3_2_1_20_1","first-page":"5","volume":"2010","author":"B\u00e4chler T.","year":"2010","unstructured":"T. B\u00e4chler , V. P. Gerdt , M. Lange-Hegermann and D. Robertz . Thomas Decomposition: I. Algebraic Systems; II. Differential Systems. Submitted to Computer Algebra in Scientific Computing \/ CASC 2010 (September 5 -- 12 , 2010 , Tsakhkadzor, Armenia). T. B\u00e4chler, V. P. Gerdt, M. Lange-Hegermann and D. Robertz. Thomas Decomposition: I. Algebraic Systems; II. Differential Systems. Submitted to Computer Algebra in Scientific Computing \/ CASC 2010 (September 5--12, 2010, Tsakhkadzor, Armenia).","journal-title":"Thomas Decomposition: I. Algebraic Systems; II. Differential Systems. Submitted to Computer Algebra in Scientific Computing \/ CASC"}],"event":{"name":"ISSAC '10: International Symposium on Symbolic and Algebraic Computation","location":"Munich Germany","acronym":"ISSAC '10","sponsor":["Gesellschaft fur Informtatik","SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"]},"container-title":["Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1837934.1837950","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1837934.1837950","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:28Z","timestamp":1750248508000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1837934.1837950"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7,25]]},"references-count":20,"alternative-id":["10.1145\/1837934.1837950","10.1145\/1837934"],"URL":"https:\/\/doi.org\/10.1145\/1837934.1837950","relation":{},"subject":[],"published":{"date-parts":[[2010,7,25]]},"assertion":[{"value":"2010-07-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}