{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T12:50:35Z","timestamp":1768481435973,"version":"3.49.0"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2009,1,27]],"date-time":"2009-01-27T00:00:00Z","timestamp":1233014400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Found Comput Math"],"published-print":{"date-parts":[[2009,12]]},"DOI":"10.1007\/s10208-008-9039-8","type":"journal-article","created":{"date-parts":[[2009,1,26]],"date-time":"2009-01-26T11:28:14Z","timestamp":1232969294000},"page":"651-674","source":"Crossref","is-referenced-by-count":31,"title":["Sufficient Set of Integrability Conditions of\u00a0an\u00a0Orthonomic System"],"prefix":"10.1007","volume":"9","author":[{"given":"Michal","family":"Marvan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,1,27]]},"reference":[{"key":"9039_CR1","doi-asserted-by":"crossref","first-page":"1131","DOI":"10.1016\/j.jsc.2004.04.004","volume":"40","author":"J. Apel","year":"2005","unstructured":"J. Apel, R. Hemmecke, Detecting unnecessary reductions in an involutive basis computation, J. Symb. Comput. 40, 1131\u20131149 (2005).","journal-title":"J. Symb. Comput."},{"key":"9039_CR2","volume-title":"Lattice Theory","author":"G. Birkhoff","year":"1967","unstructured":"G. Birkhoff, Lattice Theory, 3rd edn. (Am. Math. Soc., Providence, 1967).","edition":"3"},{"key":"9039_CR3","series-title":"Translations of Mathematical Monographs","doi-asserted-by":"crossref","DOI":"10.1090\/mmono\/182","volume-title":"Symmetries and Conservation Laws for Differential Equations of Mathematical Physics","author":"A.V. Bocharov","year":"1999","unstructured":"A.V. Bocharov, V.N. Chetverikov, S.V. Duzhin, N.G. Khor\u2019kova, I.S. Krasil\u2019shchik, A.V. Samokhin, Yu.N. Torkhov, A.M. Verbovetsky, A.M. Vinogradov, Symmetries and Conservation Laws for Differential Equations of Mathematical Physics. Translations of Mathematical Monographs, vol. 182 (Am. Math. Soc., Providence, 1999)."},{"key":"9039_CR4","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1016\/S0378-4754(96)00018-3","volume":"42","author":"F. Boulier","year":"1996","unstructured":"F. Boulier, An optimization of Seidenberg\u2019s elimination algorithm in differential algebra, Math. Comput. Simul. 42, 439\u2013448 (1996).","journal-title":"Math. Comput. Simul."},{"key":"9039_CR5","unstructured":"B. Buchberger, Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal, Ph.D. Thesis, Univ-Innsbruck, 1965."},{"key":"9039_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/3-540-09519-5_52","volume-title":"Proc. EUROSAM \u201979","author":"B. Buchberger","year":"1979","unstructured":"B. Buchberger, A criterion for detecting unnecessary reductions in the construction of Gr\u00f6bner bases, in Proc. EUROSAM \u201979, ed. by E.W. Ng. Lecture Notes in Computer Science, vol. 72 (Springer, Berlin, 1979), pp. 3\u201321."},{"key":"9039_CR7","doi-asserted-by":"crossref","first-page":"1169","DOI":"10.1016\/j.jsc.2003.08.009","volume":"38","author":"M. Caboara","year":"2004","unstructured":"M. Caboara, M. Kreuzer, L. Robbiano, Efficiently computing minimal sets of critical pairs, J. Symb. Comput. 38, 1169\u20131190 (2004).","journal-title":"J. Symb. Comput."},{"key":"9039_CR8","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/S0022-4049(99)00005-5","volume":"139","author":"J.-C. Faug\u00e8re","year":"1999","unstructured":"J.-C. Faug\u00e8re, A new efficient algorithm for computing Gr\u00f6bner bases (F4), J. Pure Appl. Algebra 139, 61\u201388 (1999).","journal-title":"J. Pure Appl. Algebra"},{"key":"9039_CR9","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/S0747-7171(88)80048-8","volume":"6","author":"R. Gebauer","year":"1988","unstructured":"R. Gebauer, M. M\u00f6ller, On an instalation of Buchberger\u2019s algorithm, J. Symb. Comput. 6, 275\u2013286 (1988).","journal-title":"J. Symb. Comput."},{"key":"9039_CR10","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/S0895-7177(97)00060-5","volume":"25","author":"V.P. Gerdt","year":"1997","unstructured":"V.P. Gerdt, Gr\u00f6bner bases and involutive methods for algebraic and differential equations, Math. Comput. Model. 25, 75\u201390 (1997).","journal-title":"Math. Comput. Model."},{"key":"9039_CR11","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1016\/S0378-4754(97)00127-4","volume":"45","author":"V.P. Gerdt","year":"1998","unstructured":"V.P. Gerdt, Yu.A. Blinkov, Involutive bases of polynomial ideals, Math. Comput. Simul. 45, 519\u2013541 (1998).","journal-title":"Math. Comput. Simul."},{"key":"9039_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-0348-7633-9","volume-title":"General Lattice Theory","author":"G. Gr\u00e4tzer","year":"1978","unstructured":"G. Gr\u00e4tzer, General Lattice Theory (Akademie, Berlin, 1978)."},{"key":"9039_CR13","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/S0895-7177(97)00063-0","volume":"25","author":"W. Hereman","year":"1997","unstructured":"W. Hereman, Review of symbolic software for Lie symmetry analysis, Math. Comput. Model. 25, 115\u2013132 (1997).","journal-title":"Math. Comput. Model."},{"key":"9039_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1007\/3-540-45084-X_2","volume-title":"Symbolic and Numerical Scientific Computation, Proc. Conf. Hagenberg","author":"E. Hubert","year":"2003","unstructured":"E. Hubert, Notes on triangular sets and triangulation-decomposition algorithms II: Differential systems, in Symbolic and Numerical Scientific Computation, Proc. Conf. Hagenberg, ed. by F. Winkler, U. Langer, Austria, 2001. Lecture Notes in Computer Science, vol. 2630 (Springer, Berlin, 2003), pp. 40\u201387."},{"key":"9039_CR15","volume-title":"Le\u00e7ons sur les Syst\u00e8mes d\u2019\u00c8quations aux Deriv\u00e9es Partielles","author":"M. Janet","year":"1929","unstructured":"M. Janet, Le\u00e7ons sur les Syst\u00e8mes d\u2019\u00c8quations aux Deriv\u00e9es Partielles (Gauthier-Villars, Paris, 1929)."},{"key":"9039_CR16","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1016\/0196-6774(80)90017-6","volume":"1","author":"R.M. Karp","year":"1980","unstructured":"R.M. Karp, R.E. Tarjan, Linear expected-time algorithms for connectivity problems, J. Algorithms 1, 374\u2013393 (1980).","journal-title":"J. Algorithms"},{"key":"9039_CR17","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/S0926-2245(02)00110-9","volume":"17","author":"B. Kruglikov","year":"2002","unstructured":"B. Kruglikov, V. Lychagin, Mayer brackets and solvability of PDEs. I, Differ. Geom. Appl. 17, 251\u2013272 (2002).","journal-title":"Differ. Geom. Appl."},{"key":"9039_CR18","doi-asserted-by":"crossref","first-page":"1077","DOI":"10.1090\/S0002-9947-05-03724-4","volume":"358","author":"B. Kruglikov","year":"2006","unstructured":"B. Kruglikov, V. Lychagin, Mayer brackets and solvability of PDEs. II, Trans. Am. Math. Soc. 358, 1077\u20131103 (2006).","journal-title":"Trans. Am. Math. Soc."},{"key":"9039_CR19","series-title":"Lecture Notes in Comput. Sci.","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1007\/3-540-15984-3_294","volume-title":"EUROCAL \u201985, Proc. Conf. Linz, Vol. 2","author":"W. K\u00fcchlin","year":"1985","unstructured":"W. K\u00fcchlin, A confluence criterion based on the generalised Newman lemma, in EUROCAL \u201985, Proc. Conf. Linz, Vol. 2, ed. by B.F. Caviness, April 1\u20133, 1985. Lecture Notes in Comput. Sci., vol. 204 (Springer, Berlin, 1985), pp. 390\u2013399."},{"key":"9039_CR20","first-page":"243","volume-title":"Global Integrability of Field Theories, Proc. GIFT 2006, Cockcroft Inst., Daresbury","author":"M. Marvan","year":"2006","unstructured":"M. Marvan, Sufficient set of integrability conditions of an orthonomic system: Extended abstract, in Global Integrability of Field Theories, Proc. GIFT 2006, Cockcroft Inst., Daresbury, ed. by J. Calmet, W.M. Seiler, R.W. Tucker, November 1\u20133, 2006 (Universit\u00e4tsverlag, Karlsruhe, 2006), pp. 243\u2013247. http:\/\/www.uvka.de\/univerlag\/volltexte\/2006\/164\/pdf\/Tagungsband_GIFT.pdf ."},{"key":"9039_CR21","series-title":"Springer Graduate Texts in Math.","volume-title":"Combinatorial Commutative Algebra","author":"E. Miller","year":"2004","unstructured":"E. Miller, B. Sturmfels, Combinatorial Commutative Algebra, Springer Graduate Texts in Math., vol. 227 (Springer, New York, 2004)."},{"key":"9039_CR22","volume-title":"Equivalence, Invariants, and Symmetry","author":"P.J. Olver","year":"1999","unstructured":"P.J. Olver, Equivalence, Invariants, and Symmetry (Cambridge University Press, Cambridge, 1999)."},{"key":"9039_CR23","volume-title":"Systems of Partial Differential Equations and Lie Pseudogroups","author":"J.F. Pommaret","year":"1978","unstructured":"J.F. Pommaret, Systems of Partial Differential Equations and Lie Pseudogroups (Gordon and Breach, New York, 1978)."},{"key":"9039_CR24","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1017\/S0956792500000577","volume":"2","author":"G.J. Reid","year":"1991","unstructured":"G.J. Reid, Algorithms for reducing a system of PDEs to standard form, determining the dimension of its solution space and calculating its Taylor series solution, Eur. J. Appl. Math. 2, 293\u2013318 (1991).","journal-title":"Eur. J. Appl. Math."},{"key":"9039_CR25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/1467-9590.00159","volume":"106","author":"G.J. Reid","year":"2001","unstructured":"G.J. Reid, P. Lin, A.D. Wittkopf, Differential elimination-completion algorithms for DAE and PDAE, Stud. Appl. Math. 106, 1\u201345 (2001).","journal-title":"Stud. Appl. Math."},{"key":"9039_CR26","first-page":"604","volume":"7","author":"G.J. Reid","year":"1996","unstructured":"G.J. Reid, A.D. Wittkopf, A. Boulton, Reduction of systems of nonlinear partial differential equations to simplified involutive forms, Eur. J. Appl. Math. 7, 604\u2013635 (1996).","journal-title":"Eur. J. Appl. Math."},{"key":"9039_CR27","volume-title":"Les Syst\u00e8mes d\u2019\u00c8quations aux Deriv\u00e9es Partielles","author":"C. Riquier","year":"1910","unstructured":"C. Riquier, Les Syst\u00e8mes d\u2019\u00c8quations aux Deriv\u00e9es Partielles (Gauthier-Villars, Paris, 1910)."},{"key":"9039_CR28","unstructured":"C.J. Rust, Rankings of derivatives for elimination algorithms, and formal solvability of analytic PDE, Ph.D. Thesis, University of Chicago, 1998."},{"key":"9039_CR29","first-page":"9","volume-title":"Proc. ISSAC 1997","author":"C.J. Rust","year":"1997","unstructured":"C.J. Rust, G.J. Reid, Rankings of partial derivatives, in Proc. ISSAC 1997 (ACM, New York, 1997), pp. 9\u201316."},{"key":"9039_CR30","first-page":"105","volume-title":"Proc. ISSAC 1999","author":"C.J. Rust","year":"1999","unstructured":"C.J. Rust, G.J. Reid, A.D. Wittkopf, Existence and uniqueness theorems for formal power series solutions of analytic differential systems, in Proc. ISSAC 1999 (ACM, New York, 1999), pp. 105\u2013112."},{"key":"9039_CR31","series-title":"London Math. Soc. Lect. Notes Series","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511526411","volume-title":"The Geometry of Jet Bundles","author":"D.J. Saunders","year":"1989","unstructured":"D.J. Saunders, The Geometry of Jet Bundles, London Math. Soc. Lect. Notes Series, vol. 142, (Cambridge Univ. Press, Cambridge, 1989\u20131929)."},{"key":"9039_CR32","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2307\/1968282","volume":"30","author":"J.M. Thomas","year":"1928","unstructured":"J.M. Thomas, Riquier\u2019s existence theorems, Ann. Math. 30, 285\u2013310 (1928).","journal-title":"Ann. Math."},{"key":"9039_CR33","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF02418270","volume":"18","author":"A. Tresse","year":"1894","unstructured":"A. Tresse, Sur les invariants diff\u00e9rentiels des groupes de transformations, Acta Math. 18, 1\u201388 (1894).","journal-title":"Acta Math."},{"key":"9039_CR34","unstructured":"A.M. Verbovetsky, I.S. Krasil\u2019shchik, P. Kersten, M. Marvan, Homological Methods in Geometry of Partial Differential Equations (MCCME, Moscow, under preparation) (in Russian)."},{"key":"9039_CR35","series-title":"Lecture Notes in Comput. Sci.","doi-asserted-by":"crossref","first-page":"378","DOI":"10.1007\/3-540-15984-3_293","volume-title":"EUROCAL \u201985, Proc. Conf. Linz, Vol. 2","author":"F. Winkler","year":"1985","unstructured":"F. Winkler, Reducing the complexity of the Knuth\u2013Bendix completion algorithm: a \u201cunification\u201d of different approaches, in EUROCAL \u201985, Proc. Conf. Linz, Vol. 2, ed. by B.F. Caviness, April 1\u20133, 1985. Lecture Notes in Comput. Sci., vol. 204 (Springer, Berlin, 1985), pp. 378\u2013389."},{"key":"9039_CR36","series-title":"Coll. Math. Soc. J. Bolyai","first-page":"849","volume-title":"Algebra, Combinatorics and Logic in Computer Science, Vol. II","author":"F. Winkler","year":"1986","unstructured":"F. Winkler, B. Buchberger, A criterion for eliminating unnecessary reductions in the Knuth\u2013Bendix algorithm, in Algebra, Combinatorics and Logic in Computer Science, Vol. II, ed. by J. Demetrovics et al. Coll. Math. Soc. J. Bolyai, vol. 42 (J. Bolyai Math. Soc., North-Holland, 1986), pp. 849\u2013869."},{"issue":"1","key":"9039_CR37","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1145\/3147.214316","volume":"11","author":"F. Winkler","year":"1985","unstructured":"F. Winkler, B. Buchberger, F. Lichtenberger, H. Rolletschek, Algorithm 628: an algorithm for constructing canonical bases of polynomial ideals, ACM Trans. Math. Softw. 11(1), 66\u201378 (1985).","journal-title":"ACM Trans. Math. Softw."},{"key":"9039_CR38","unstructured":"A.D. Wittkopf, Algorithms and implementations for differential elimination, Ph.D. Thesis, Simon Fraser Univ., 2004."},{"key":"9039_CR39","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1016\/S0747-7171(03)00020-8","volume":"35","author":"T. Wolf","year":"2003","unstructured":"T. Wolf, The integration of systems of linear PDEs using conservation laws of syzygies, J. Symb. Comput. 35, 499\u2013526 (2003).","journal-title":"J. Symb. Comput."}],"container-title":["Foundations of Computational Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-008-9039-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10208-008-9039-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-008-9039-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T07:05:10Z","timestamp":1559113510000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10208-008-9039-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1,27]]},"references-count":39,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2009,12]]}},"alternative-id":["9039"],"URL":"https:\/\/doi.org\/10.1007\/s10208-008-9039-8","relation":{},"ISSN":["1615-3375","1615-3383"],"issn-type":[{"value":"1615-3375","type":"print"},{"value":"1615-3383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,1,27]]}}}