{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T21:54:08Z","timestamp":1761947648243,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":43,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642152733"},{"type":"electronic","value":"9783642152740"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15274-0_4","type":"book-chapter","created":{"date-parts":[[2010,9,4]],"date-time":"2010-09-04T10:17:34Z","timestamp":1283595454000},"page":"31-54","source":"Crossref","is-referenced-by-count":7,"title":["Thomas Decomposition of Algebraic and Differential Systems"],"prefix":"10.1007","author":[{"given":"Thomas","family":"B\u00e4chler","sequence":"first","affiliation":[]},{"given":"Vladimir","family":"Gerdt","sequence":"additional","affiliation":[]},{"given":"Markus","family":"Lange-Hegermann","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Robertz","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Apel, J., Hemmecke, R.: Detecting unnecessary reductions in an involutive basis computation. J. Symbolic Comput.\u00a040(4-5), 1131\u20131149 (2005), MR MR2169107 (2006j:13026)","DOI":"10.1016\/j.jsc.2004.04.004"},{"key":"4_CR2","unstructured":"Buium, A., Cassidy, P.J.: Differential algebraic geometry and differential algebraic groups: from algebraic differential equations to diophantine geometry. In: [Kol99], pp. 567\u2013636 (1999)"},{"key":"4_CR3","unstructured":"Blinkov, Y.A., Cid, C.F., Gerdt, V.P., Plesken, W., Robertz, D.: The MAPLE Package Janet: I. Polynomial Systems. II. Linear Partial Differential Equations. In: Proc. 6th Int. Workshop on Computer Algebra in Scientific Computing, Passau, Germany, pp. 31\u201354 (2003), \n                  \n                    http:\/\/wwwb.math.rwth-aachen.de\/Janet"},{"key":"4_CR4","unstructured":"Boulier, F., Hubert, E.: DIFFALG: description, help pages and examples of use, Symbolic Computation Group, University of Waterloo, Ontario, Canada (1996-2004), \n                  \n                    http:\/\/www-sop.inria.fr\/members\/Evelyne.Hubert\/diffalg\/"},{"issue":"6","key":"4_CR5","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1006\/jsco.1999.1562","volume":"31","author":"D. Bouziane","year":"2001","unstructured":"Bouziane, D., Rody, A.K., Ma\u00e2rouf, H.: Unmixed-dimensional decomposition of a finitely generated perfect differential ideal. J. Symbolic Comput.\u00a031(6), 631\u2013649 (2001), MR MR1834002 (2002c:12007)","journal-title":"J. Symbolic Comput."},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"B\u00e4chler, T., Lange-Hegermann, M.: AlgebraicThomas and DifferentialThomas: Thomas decomposition for algebraic and differential systems (2008-2010), \n                  \n                    http:\/\/wwwb.math.rwth-aachen.de\/thomasdecomposition\/","DOI":"10.1007\/978-3-642-15274-0_4"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Boulier, F., Lazard, D., Ollivier, F., Petitot, M.: Representation for the radical of a finitely generated differential ideal. In: ISSAC, pp. 158\u2013166 (1995)","DOI":"10.1145\/220346.220367"},{"issue":"1","key":"4_CR8","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/s00200-009-0091-7","volume":"20","author":"F. Boulier","year":"2009","unstructured":"Boulier, F., Lazard, D., Ollivier, F., Petitot, M.: Computing representations for radicals of finitely generated differential ideals. Appl. Algebra Engrg. Comm. Comput.\u00a020(1), 73\u2013121 (2009), MR MR2496662 (2010c:12005)","journal-title":"Appl. Algebra Engrg. Comm. Comput."},{"key":"4_CR9","first-page":"109","volume":"2","author":"F. Boulier","year":"2007","unstructured":"Boulier, F.: Differential elimination and biological modelling, Gr\u00f6bner bases in symbolic analysis. Radon Ser. Comput. Appl. Math.\u00a02, 109\u2013137 (2007), MR MR2394771 (2009f:12005)","journal-title":"Radon Ser. Comput. Appl. Math."},{"key":"4_CR10","unstructured":"Boulier, F.: BLAD: Biblioth\u00e8ques lilloises d\u2019alg\u00e8bre diff\u00e9rentielle (2004-2009), \n                  \n                    http:\/\/www.lifl.fr\/~boulier\/BLAD\/"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-75187-8_7","volume-title":"Computer Algebra in Scientific Computing","author":"C. Chen","year":"2007","unstructured":"Chen, C., Golubitsky, O., Lemaire, F., Maza, M.M., Pan, W.: Comprehensive triangular decomposition. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2007. LNCS, vol.\u00a04770, pp. 73\u2013101. Springer, Heidelberg (2007)"},{"key":"4_CR12","unstructured":"Delli\u00e8re, S.: D.m. wang simple systems and dynamic constructible closure, Rapport de Recherche No. 2000\u201316 de l\u2019Universit\u00e9 de Limoges (2000)"},{"key":"4_CR13","unstructured":"Diop, S.: On universal observability. In: Proc. 31st Conference on Decision and Control, Tucaon, Arizona (1992)"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Ducos, L.: Optimizations of the subresultant algorithm. J. Pure Appl. Algebra\u00a0145(2), 149\u2013163 (2000), MR MR1733249 (2000m:68187)","DOI":"10.1016\/S0022-4049(98)00081-4"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Gerdt, V.P., Blinkov, Y.A.: Involutive bases of polynomial ideals. Math. Comput. Simulation\u00a045(5-6), 519\u2013541 (1998), Simplification of systems of algebraic and differential equations with applications. MR MR1627129 (99e:13033)","DOI":"10.1016\/S0378-4754(97)00127-4"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Gerdt, V.P., Blinkov, Y.A.: Minimal involutive bases. Math. Comput. Simulation\u00a045(5-6), 543\u2013560 (1998), Simplification of systems of algebraic and differential equations with applications. MR MR1627130 (99e:13034)","DOI":"10.1016\/S0378-4754(97)00128-6"},{"key":"4_CR17","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/978-3-642-60218-4_9","volume-title":"Computer Algebra in Scientific Computing\u2014CASC 1999","author":"V.P. Gerdt","year":"1999","unstructured":"Gerdt, V.P.: Completion of linear differential systems to involution. In: Computer Algebra in Scientific Computing\u2014CASC 1999, Munich, pp. 115\u2013137. Springer, Berlin (1999), MR MR1729618 (2001d:12010)"},{"key":"4_CR18","first-page":"199","volume-title":"Computational Commutative and Non-Commutative Algebraic Geometry, NATO Sci. Ser. III Comput. Syst. Sci.","author":"V.P. Gerdt","year":"2005","unstructured":"Gerdt, V.P.: Involutive algorithms for computing Gr\u00f6bner bases. In: Computational Commutative and Non-Commutative Algebraic Geometry, NATO Sci. Ser. III Comput. Syst. Sci., vol.\u00a0196, pp. 199\u2013225. IOS, Amsterdam (2005), MR MR2179201 (2007c:13040)"},{"issue":"1-3","key":"4_CR19","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/s10440-008-9202-x","volume":"101","author":"V.P. Gerdt","year":"2008","unstructured":"Gerdt, V.P.: On decomposition of algebraic PDE systems into simple subsystems. Acta Appl. Math.\u00a0101(1-3), 39\u201351 (2008), MR MR2383543 (2009c:35003)","journal-title":"Acta Appl. Math."},{"issue":"3","key":"4_CR20","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1134\/S0361768806030030","volume":"32","author":"V.P. Gerdt","year":"2006","unstructured":"Gerdt, V.P., Yanovich, D.A.: Investigation of the effectiveness of involutive criteria for computing polynomial Janet bases. Programming and Computer Software\u00a032(3), 134\u2013138 (2006), MR MR2267374 (2007e:13036)","journal-title":"Programming and Computer Software"},{"issue":"1","key":"4_CR21","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1023\/A:1007130618376","volume":"27","author":"V.P. Gerdt","year":"2001","unstructured":"Gerdt, V.P., Yanovich, D.A., Blinkov, Y.A.: Fast search for the Janet divisor. Programming and Computer Software\u00a027(1), 22\u201324 (2001), MR MR1867717","journal-title":"Programming and Computer Software"},{"key":"4_CR22","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/BF02568028","volume":"21","author":"W. Habicht","year":"1948","unstructured":"Habicht, W.: Eine Verallgemeinerung des Sturmschen Wurzelz\u00e4hlverfahrens. Comment. Math. Helv.\u00a021, 99\u2013116 (1948), MR MR0023796 (9,405f)","journal-title":"Comment. Math. Helv."},{"key":"4_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45084-X_1","volume-title":"Symbolic and Numerical Scientific Computation","author":"E. Hubert","year":"2003","unstructured":"Hubert, E.: Notes on triangular sets and triangulation-decomposition algorithms. I. Polynomial systems. In: Winkler, F., Langer, U. (eds.) SNSC 2001. LNCS, vol.\u00a02630, pp. 1\u201339. Springer, Heidelberg (2003), MR MR2043699 (2005c:13034)"},{"key":"4_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/3-540-45084-X_2","volume-title":"Symbolic and Numerical Scientific Computation","author":"E. Hubert","year":"2003","unstructured":"Hubert, E.: Notes on triangular sets and triangulation-decomposition algorithms. II. Differential systems. In: Winkler, F., Langer, U. (eds.) SNSC 2001. LNCS, vol.\u00a02630, pp. 40\u201387. Springer, Heidelberg (2003), MR MR2043700 (2005c:13035)"},{"key":"4_CR25","unstructured":"Janet, M.: Le\u00e7ons sur les syst\u00e8mes des \u00e9quationes aux d\u00e9riv\u00e9es partielles. In: Cahiers Scientifiques IV, Gauthiers-Villars, Paris (1929)"},{"key":"4_CR26","series-title":"Pure and Applied Mathematics","volume-title":"Differential algebra and algebraic groups","author":"E.R. Kolchin","year":"1973","unstructured":"Kolchin, E.R.: Differential algebra and algebraic groups. Pure and Applied Mathematics, vol.\u00a054. Academic Press, New York (1973), MR MR0568864 (58 #27929)"},{"key":"4_CR27","unstructured":"Kolchin, E.R.: Selected works of Ellis Kolchin with commentary. American Mathematical Society, Providence (1999); Commentaries by Borel, A., Singer, M.F., Poizat, B., Buium, A., Cassidy, P.J. (eds.) with a preface by Hyman Bass, Buium and Cassidy. MR MR1677530 (2000g:01042)"},{"issue":"3","key":"4_CR28","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1145\/1113439.1113456","volume":"39","author":"F. Lemaire","year":"2005","unstructured":"Lemaire, F., Moreno Maza, M., Xie, Y.: The RegularChains library in Maple. SIGSAM Bull.\u00a039(3), 96\u201397 (2005)","journal-title":"SIGSAM Bull."},{"key":"4_CR29","first-page":"43","volume":"12","author":"Z. Li","year":"1999","unstructured":"Li, Z., Wang, D.: Coherent, regular and simple systems in zero decompositions of partial differential systems. System Science and Mathematical Sciences\u00a012, 43\u201360 (1999)","journal-title":"System Science and Mathematical Sciences"},{"key":"4_CR30","series-title":"Texts and Monographs in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4344-1","volume-title":"Algorithmic algebra","author":"B. Mishra","year":"1993","unstructured":"Mishra, B.: Algorithmic algebra. Texts and Monographs in Computer Science. Springer, New York (1993), MR MR1239443 (94j:68127)"},{"key":"4_CR31","unstructured":"Riquier, F.: Les syst\u00e8mes d\u2019\u00e9quations aux d\u00e9riv\u00e9es partielles (1910)"},{"key":"4_CR32","volume-title":"American Mathematical Society Colloquium Publications","author":"J.F. Ritt","year":"1950","unstructured":"Ritt, J.F.: Differential Algebra. In: American Mathematical Society Colloquium Publications, vol.\u00a0XXXIII. American Mathematical Society, New York (1950), MR MR0035763 (12,7c)"},{"key":"4_CR33","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1090\/S0002-9947-1959-0107642-2","volume":"90","author":"A. Rosenfeld","year":"1959","unstructured":"Rosenfeld, A.: Specializations in differential algebra. Trans. Amer. Math. Soc.\u00a090, 394\u2013407 (1959), MR MR0107642 (21 #6367)","journal-title":"Trans. Amer. Math. Soc."},{"key":"4_CR34","unstructured":"Seiler, W.M.: Involution. In: Algorithms and Computation in Mathematics, vol.\u00a024. Springer, Berlin (2010), The formal theory of differential equations and its applications in computer algebra. MR MR2573958"},{"key":"4_CR35","unstructured":"shan Gao, X., Huang, Z.: Efficient characteristic set algorithms for equation solving in finite fields and application in analysis of stream ciphers, Cryptology ePrint Archive, Report 2009\/637 (2009), \n                  \n                    http:\/\/eprint.iacr.org\/"},{"key":"4_CR36","doi-asserted-by":"crossref","unstructured":"Thomas, J.M.: Differential systems, vol.\u00a0XXI. AMS Colloquium Publications (1937)","DOI":"10.1090\/coll\/021"},{"key":"4_CR37","volume-title":"Systems and roots","author":"J.M. Thomas","year":"1962","unstructured":"Thomas, J.M.: Systems and roots. The William Byrd Press, Inc., Richmond Virginia (1962)"},{"issue":"3","key":"4_CR38","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1006\/jsco.1997.0177","volume":"25","author":"D. Wang","year":"1998","unstructured":"Wang, D.: Decomposing polynomial systems into simple systems. J. Symbolic Comput.\u00a025(3), 295\u2013314 (1998), MR MR1615318 (99d:68130)","journal-title":"J. Symbolic Comput."},{"key":"4_CR39","volume-title":"Texts and Monographs in Symbolic Computation","author":"D. Wang","year":"2001","unstructured":"Wang, D.: Elimination methods. In: Texts and Monographs in Symbolic Computation. Springer, Vienna (2001), MR MR1826878 (2002i:13040)"},{"key":"4_CR40","unstructured":"Wang, D.: \u03b5\n                psilon: description, help pages and examples of use (2003), \n                  \n                    http:\/\/www-spiral.lip6.fr\/~wang\/epsilon\/"},{"key":"4_CR41","doi-asserted-by":"crossref","unstructured":"Wang, D.: Elimination practice. Imperial College Press, London (2004), Software tools and applications, With 1 CD-ROM (UNIX\/LINUX, Windows). MR MR2050441 (2005a:68001)","DOI":"10.1142\/p318"},{"key":"4_CR42","unstructured":"Wu, W.-T.: Mathematics mechanization. In: Mathematics and its Applications, vol.\u00a0489, Kluwer Academic Publishers Group, Dordrecht (2000), Mechanical geometry theorem-proving, mechanical geometry problem-solving and polynomial equations-solving. MR MR1834540 (2003a:01005)"},{"key":"4_CR43","volume-title":"Fundamental problems of algorithmic algebra","author":"C.K. Yap","year":"2000","unstructured":"Yap, C.K.: Fundamental problems of algorithmic algebra. Oxford University Press, New York (2000), MR MR1740761 (2000m:12014)"}],"container-title":["Lecture Notes in Computer Science","Computer Algebra in Scientific Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15274-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T17:27:12Z","timestamp":1558286832000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15274-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642152733","9783642152740"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15274-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}