{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:18:38Z","timestamp":1775053118735,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":74,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540405542","type":"print"},{"value":"9783540450849","type":"electronic"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"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":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-45084-x_2","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T16:05:12Z","timestamp":1183478712000},"page":"40-87","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":45,"title":["Notes on Triangular Sets and Triangulation-Decomposition Algorithms II: Differential Systems"],"prefix":"10.1007","author":[{"given":"Evelyne","family":"Hubert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,24]]},"reference":[{"key":"2_CR1","volume-title":"CRC handbook of Lie group analysis of differential equations","author":"R. L. Anderson","year":"1996","unstructured":"R. L. Anderson, V. A. Baikov, R. K. Gazizov, W. Hereman, N. H. Ibragimov, F. M. Mahomed, S. V. Meleshko, M. C. Nucci, P. J. Olver, M. B. Sheftel, A. V. Turbiner, and E. M. Vorob\u2019ev. CRC handbook of Lie group analysis of differential equations. Vol. 3. CRC Press, Boca Raton, FL, 1996. New trends in theoretical developments and computational methods."},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"J. Apel. Passive Complete Orthonormal Systems of PDEs and Riquier Bases of Polynomial Modules. 2003. In this volume.","DOI":"10.1007\/3-540-45084-X_3"},{"key":"2_CR3","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611971392","volume-title":"Computer methods for ordinary differential equations and differential-algebraic equations","author":"U. M. Ascher","year":"1998","unstructured":"U. M. Ascher and L. R. Petzold. Computer methods for ordinary differential equations and differential-algebraic equations. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 1998."},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"P. Aubry and D. Wang. Reasonning about surfaces using differential zero and ideal decomposition. In J. Richet-Gebert and D. Wang, editors, ADG 2000, number 2061 in LNAI, pages 154\u2013174, 2001.","DOI":"10.1007\/3-540-45410-1_10"},{"key":"2_CR5","volume-title":"Gr\u00f6bner Bases \u2014 A Computational Approach to Commutative Algebra","author":"T. Becker","year":"1993","unstructured":"T. Becker and V. Weispfenning. Gr\u00f6bner Bases \u2014 A Computational Approach to Commutative Algebra. Springer-Verlag, New York, 1993."},{"key":"2_CR6","unstructured":"F. Boulier. \u00c9tude et Implantation de Quelques Algorithmes en Alg\u00e8bre Diff\u00e9rentielle. PhD thesis, Universit\u00e9 de Lille, 1994."},{"key":"2_CR7","unstructured":"F. Boulier. A new criterion to avoid useless critical pairs in buchberger\u2019s algorithm. Technical Report 2001-07, LIFL, Universit\u00e9 de Lille, ftp:\/\/ftp.lifl.fr\/pub\/reports\/internal\/2001-07.ps, 2001."},{"key":"2_CR8","volume-title":"DIFFALG: description, help pages and examples of use","author":"F. Boulier","year":"1998","unstructured":"F. Boulier and E. Hubert. DIFFALG: description, help pages and examples of use. Symbolic Computation Group, University of Waterloo, Ontario, Canada, 1998. Now available at http:\/\/www.inria.fr\/cafe\/Evelyne.Hubert\/webdiffalg."},{"key":"2_CR9","volume-title":"ISSAC\u201995","author":"F. Boulier","year":"1995","unstructured":"F. Boulier, D. Lazard, F. Ollivier, and M. Petitot. Representation for the radical of a finitely generated differential ideal. In A. H. M. Levelt, editor, ISSAC\u201995. ACM Press, New York, 1995."},{"key":"2_CR10","unstructured":"F. Boulier, D. Lazard, F. Ollivier, and M. Petitot. Computing representations for radicals of finitely generated differential ideals. Technical Report IT-306, LIFL, 1997."},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"F. Boulier and F. Lemaire. Computing canonical representatives of regular differential ideals. In C. Traverso, editor, ISSAC. ACM-SIGSAM, ACM, 2000.","DOI":"10.1145\/345542.345571"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"F. Boulier, F. Lemaire, and M. Moreno-Maza. Pardi! In ISSAC 2001. pp 38\u201347, ACM, 2001.","DOI":"10.1145\/384101.384108"},{"issue":"6","key":"2_CR13","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1006\/jsco.1999.1562","volume":"31","author":"D. Bouziane","year":"2001","unstructured":"D. Bouziane, A. Kandri Rody, and H. Ma\u00e2rouf. Unmixed-dimensional decomposition of a finitely generated perfect differential ideal. Journal of Symbolic Computation, 31(6):631\u2013649, 2001.","journal-title":"Journal of Symbolic Computation"},{"key":"2_CR14","unstructured":"K. E. Brenan, S. L. Campbell, and L. R. Petzold. Numerical solution of initial value problems in differential-algebraic equations. North-Holland, 1989."},{"key":"2_CR15","volume-title":"Selected works of Ellis Kolchin with commentary","author":"A. Buium","year":"1999","unstructured":"A. Buium and P. J. Cassidy. Differential algebraic geometry and differential algebraic groups: from algebraic differential equations to diophantine geometry. In Bass et al. [39]."},{"key":"2_CR16","series-title":"Lect Notes Comput Sci","volume-title":"AAECC","author":"G. Carra Ferro","year":"1987","unstructured":"G. Carra Ferro. Gr\u00f6bner bases and differential algebra. In AAECC, volume 356 of Lecture Notes in Computer Science. Springer-Verlag Berlin, 1987."},{"key":"2_CR17","series-title":"Lecture Notes in Pure and Applied Mathematics","first-page":"31","volume-title":"Computational algebra (Fairfax, VA, 1993)","author":"G. Carr\u00e0 Ferro","year":"1994","unstructured":"G. Carr\u00e0 Ferro and W. Y. Sit. On term-orderings and rankings. In Computational algebra (Fairfax, VA, 1993), number 151 in Lecture Notes in Pure and Applied Mathematics, pages 31\u201377. Dekker, New York, 1994."},{"key":"2_CR18","unstructured":"E. Cartan. Les syst\u00e8mes Diff\u00e9rentiels Ext\u00e9rieurs et leurs Applications G\u00e9om\u00e9trique. Hermann, 1945."},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/BF02393131","volume":"34","author":"J. Chazy","year":"1911","unstructured":"J. Chazy. Sur les \u00e9quations diff\u00e9rentielles du troisi\u00e8me ordre et d\u2019ordre sup\u00e9rieur dont l\u2019int\u00e9grale g\u00e9n\u00e9rale a ses points critiques fixes. Acta Mathematica, 34:317\u2013385, 1911.","journal-title":"Acta Mathematica"},{"key":"2_CR20","unstructured":"E. S. Cheb-Terrab. Odetools: A maple package for studying and solving ordinary differential equations. http:\/\/lie.uwaterloo.ca\/description\/odetools, 1998. presented for the incoming update of \u201cHandbook of Computer Algebra\u201d."},{"issue":"3","key":"2_CR21","first-page":"254","volume":"101","author":"E. S. Cheb-Terrab","year":"1997","unstructured":"E. S. Cheb-Terrab, L. G. S. Duarte, and L. A. C. P. da Mota. Computer algebra solving of first order ODEs using symmetry methods. Computer Physics Communications. An International Journal and Program Library for Computational Physics and Physical Chemistry, 101(3):254\u2013268, 1997.","journal-title":"Computer Physics Communications. An International Journal and Program Library for Computational Physics and Physical Chemistry"},{"issue":"1","key":"2_CR22","first-page":"90","volume":"108","author":"E. S. Cheb-Terrab","year":"1998","unstructured":"E. S. Cheb-Terrab, L. G. S. Duarte, and L. A. C. P. da Mota. Computer algebra solving of second order ODEs using symmetry methods. Computer Physics Communications. An International Journal and Program Library for Computational Physics and Physical Chemistry, 108(1):90\u2013114, 1998.","journal-title":"Computer Physics Communications. An International Journal and Program Library for Computational Physics and Physical Chemistry"},{"key":"2_CR23","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BF00881835","volume":"10","author":"S.-C. Chou","year":"1993","unstructured":"S-C. Chou and X-S. Gao. Automated reasonning in differential geometry and mechanics using the characteristic set method. part II. mechanical theorem proving. Journal of Automated Reasonning, 10:173\u2013189, 1993.","journal-title":"Journal of Automated Reasonning"},{"issue":"2","key":"2_CR24","doi-asserted-by":"crossref","first-page":"173","DOI":"10.4310\/MAA.1997.v4.n2.a7","volume":"4","author":"P. A. Clarkson","year":"1997","unstructured":"P. A. Clarkson, D. K. Ludlow, and T. J. Priestley. The classical, direct, and nonclassical methods for symmetry reductions of nonlinear partial differential equations. Methods and Applications of Analysis, 4(2): 173\u2013195, 1997. Dedicated to Martin David Kruskal.","journal-title":"Methods and Applications of Analysis"},{"key":"2_CR25","first-page":"250","volume":"D70","author":"P. A. Clarkson","year":"1994","unstructured":"P. A. Clarkson and E. L. Mansfield. Symmetry reductions and exact solutions of a class of non-linear heat equations. Physica, D70:250\u2013288, 1994.","journal-title":"Physica"},{"issue":"5","key":"2_CR26","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/s00200-002-0110-4","volume":"13","author":"T. Cluzeau","year":"2003","unstructured":"T. Cluzeau and E. Hubert. Resolvent representation for regular differential ideals. Applicable Algebra in Engineering, Communication and Computing, 13(5):395\u2013425, 2003.","journal-title":"Applicable Algebra in Engineering, Communication and Computing"},{"issue":"1","key":"2_CR27","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/0304-3975(92)90384-R","volume":"98","author":"S. Diop","year":"1992","unstructured":"S. Diop. Differential-algebraic decision methods and some applications to system theory. Theoretical Computer Science, 98(1):137\u2013161, 1992. Second Workshop on Algebraic and Computer-theoretic Aspects of Formal Power Series (Paris, 1990).","journal-title":"Theoretical Computer Science"},{"key":"2_CR28","series-title":"Graduate Texts in Mathematics","volume-title":"Commutative Algebra with a View toward Algebraic Geometry","author":"D. Eisenbud","year":"1994","unstructured":"D. Eisenbud. Commutative Algebra with a View toward Algebraic Geometry. Graduate Texts in Mathematics. Springer-Verlag New York, 1994."},{"key":"2_CR29","series-title":"PCST","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/978-1-4612-0313-1_8","volume-title":"Essays on control: Perspectives in the theory and its applications","author":"M. Fliess","year":"1993","unstructured":"M. Fliess and S.T. Glad. An algebraic approach to linear and nonlinear control. In H.L. Trentelman and J.C. Willems, editors, Essays on control: Perspectives in the theory and its applications, volume 14 of PCST, pages 223\u2013265. Birkh\u00e4user, Boston, 1993."},{"key":"2_CR30","unstructured":"L. Guo, W. F. Keigher, P. J. Cassidy, and W. Y. Sit, editors. Differential Algebra and Related Topics. World Scientific Publishing Co., 2002."},{"key":"2_CR31","doi-asserted-by":"crossref","unstructured":"E. Hairer and G. Wanner. Solving Ordinary Differential Equations II \u2014 Stiff and Differential-Algebraic Problems \u2014 Second Revised Edition. Springer, 1996.","DOI":"10.1007\/978-3-642-05221-7"},{"issue":"4\u20135","key":"2_CR32","doi-asserted-by":"publisher","first-page":"657","DOI":"10.1006\/jsco.1999.0319","volume":"28","author":"E. Hubert","year":"1999","unstructured":"E. Hubert. Essential components of an algebraic differential equation. Journal of Symbolic Computation, 28(4\u20135):657\u2013680, 1999.","journal-title":"Journal of Symbolic Computation"},{"issue":"4\u20135","key":"2_CR33","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1006\/jsco.1999.0344","volume":"29","author":"E. Hubert","year":"2000","unstructured":"E. Hubert. Factorisation free decomposition algorithms in differential algebra. Journal of Symbolic Computation, 29(4\u20135):641\u2013662, 2000.","journal-title":"Journal of Symbolic Computation"},{"key":"2_CR34","doi-asserted-by":"crossref","unstructured":"E. Hubert. Notes on triangular sets and triangulation-decomposition algorithms. I Polynomial systems. In this volume, 2003.","DOI":"10.1007\/3-540-45084-X_1"},{"key":"2_CR35","unstructured":"E. L. Ince. Ordinary Differential Equations. Dover Publications, Inc., 1956."},{"key":"2_CR36","unstructured":"M. Janet. Sur les syst\u00e8mes d\u2019\u00e9quations aux d\u00e9riv\u00e9es paritelles. Gauthier-Villars, 1929."},{"issue":"2","key":"2_CR37","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1006\/jsco.1993.1011","volume":"15","author":"M. Kalkbrener","year":"1993","unstructured":"M. Kalkbrener. A generalized Euclidean algorithm for computing triangular representations of algebraic varieties. Journal of Symbolic Computation, 15(2):143\u2013167, 1993.","journal-title":"Journal of Symbolic Computation"},{"key":"2_CR38","volume-title":"An Introduction to Differential Algebra","author":"I. Kaplansky","year":"1970","unstructured":"I. Kaplansky. An Introduction to Differential Algebra. Hermann, Paris, 1970."},{"key":"2_CR39","volume-title":"Selected works of Ellis Kolchin with commentary","author":"E. Kolchin","year":"1999","unstructured":"E. Kolchin. Selected works of Ellis Kolchin with commentary. Commentaries by Armand Borel, Michael F. Singer, Bruno Poizat, Alexandru Buium and Phyllis J. Cassidy, Edited and with a preface by Hyman Bass, Buium and Cassidy. American Mathematical Society, Providence, RI, 1999."},{"key":"2_CR40","series-title":"Pure and Applied Mathematics","volume-title":"Differential Algebra and Algebraic Groups","author":"E. R. Kolchin","year":"1973","unstructured":"E. R. Kolchin. Differential Algebra and Algebraic Groups, volume 54 of Pure and Applied Mathematics. Academic Press, New York-London, 1973."},{"key":"2_CR41","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0747-7171(08)80086-7","volume":"15","author":"D. Lazard","year":"1992","unstructured":"D. Lazard. Solving zero dimensional algebraic systems. Journal of Symbolic Computation, 15: 117\u2013132, 1992.","journal-title":"Journal of Symbolic Computation"},{"key":"2_CR42","unstructured":"F. Lemaire. Contribution \u00e0 l\u2019algorithmique en alg\u00e8bre differentielle. PhD thesis, Universit\u00e9 des Sciences et Technoligies de Lille, http:\/\/www.lifl.fr\/~lemaire\/pub, 2002."},{"issue":"1\u20132","key":"2_CR43","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BF01531322","volume":"13","author":"Z. Li","year":"1995","unstructured":"Z. Li. Mechanical theorem proving in the local theory of surfaces. Annals of Mathematics and Artificial Intelligence, 13(1\u20132):25\u201346, 1995.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"2_CR44","unstructured":"Z. Li and D. Wang. Coherent, regular and simple system in zero decompositions of partial differential systems. Systems Sciences and Mathematical Sciences, 12 suppl, 1999."},{"key":"2_CR45","unstructured":"B. Malgrange. Differential algebra and differential geometry. In Differential Geometry \u2014 Kyoto Nara 2000, 2000. to appear."},{"key":"2_CR46","unstructured":"E. L. Mansfield. Differential Gr\u00f6bner Bases. PhD thesis, University of Sydney, 1991."},{"key":"2_CR47","unstructured":"E. L. Mansfield. DIFFGROB2: a symbolic algebra package for analysing systems of PDE using MAPLE. University of Exeter, 1994. Preprint M\/94\/4."},{"key":"2_CR48","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1016\/S0010-4655(98)00136-2","volume":"115","author":"E. L. Mansfield","year":"1998","unstructured":"E. L. Mansfield, G. J. Reid, and P. A. Clarkson. Nonclassical reductions of a 3+1-cubic nonlinear Schr\u00f6dinger system. Computer Physics Communications, 115:460\u2013488, 1998.","journal-title":"Computer Physics Communications"},{"issue":"1","key":"2_CR49","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0025-5564(01)00079-7","volume":"174","author":"G. Margaria","year":"2001","unstructured":"G. Margaria, E. Riccomagno, M. J. Chappell, and H. P. Wynn. Differential algebra methods for the study of the structural identifiability of rational function state-space models in the biosciences. Mathematical Biosciences, 174(1):1\u201326, 2001.","journal-title":"Mathematical Biosciences"},{"key":"2_CR50","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/3-540-60114-7_28","volume-title":"Applied algebra, algebraic algorithms and error-correcting codes (Paris, 1995)","author":"M. Moreno Maza","year":"1995","unstructured":"M. Moreno Maza and R. Rioboo. Polynomial gcd computations over towers of algebraic extensions. In Applied algebra, algebraic algorithms and error-correcting codes (Paris, 1995), pages 365\u2013382. Springer, Berlin, 1995."},{"issue":"4\u20135","key":"2_CR51","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1006\/jsco.1999.0318","volume":"28","author":"S. Morrison","year":"1999","unstructured":"S. Morrison. The differential ideal [P]: M\n                           \u221e. Journal of Symbolic Computation, 28(4\u20135):631\u2013656, 1999.","journal-title":"Journal of Symbolic Computation"},{"key":"2_CR52","doi-asserted-by":"crossref","unstructured":"F. Ollivier. Canonical bases: Relations with standard bases, finiteness conditions and application to tame automorphisms. In Costiglioncello, editor, MEGA\u2019 90. Birkhauser, August 1990.","DOI":"10.1007\/978-1-4612-0441-1_25"},{"key":"2_CR53","series-title":"Graduate texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-0274-2","volume-title":"Applications of Lie Groups to Differential Equations","author":"P. Olver","year":"1986","unstructured":"P. Olver. Applications of Lie Groups to Differential Equations. Number 107 in Graduate texts in Mathematics. Springer-Verlag, New York, 1986."},{"key":"2_CR54","doi-asserted-by":"publisher","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 pde to standard form, determining the dimension of its solution space and calculating its taylor series solution. European Journal of Applied Mathematics, 2:293\u2013318, 1991.","journal-title":"European Journal of Applied Mathematics"},{"issue":"4","key":"2_CR55","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1017\/S0956792500000589","volume":"2","author":"G. J. Reid","year":"1991","unstructured":"G. J. Reid. Finding abstract Lie symmetry algebras of differential equations without integrating determining equations. European Journal of Applied Mathematics, 2(4):319\u2013340, 1991.","journal-title":"European Journal of Applied Mathematics"},{"key":"2_CR56","first-page":"604","volume":"7","author":"G. J. Reid","year":"1996","unstructured":"G. J. Reid, A. D. Wittkopf, and A. Boulton. Reduction of systems of nonlinear partial differential equations to simplified involutive forms. Eur. J. of Appl. Math., 7:604\u2013635, 1996.","journal-title":"Eur. J. of Appl. Math."},{"key":"2_CR57","volume-title":"Les syst\u00e8mes d\u2019\u00e9quations aux d\u00e9riv\u00e9s partielles","author":"C. Riquier","year":"1910","unstructured":"C. Riquier. Les syst\u00e8mes d\u2019\u00e9quations aux d\u00e9riv\u00e9s partielles. Gauthier-Villars, Paris, 1910."},{"key":"2_CR58","doi-asserted-by":"crossref","unstructured":"J. F. Ritt. Differential Equations from the Algebraic Standpoint. Amer. Math. Soc. Colloq. Publ., 1932.","DOI":"10.1090\/coll\/014"},{"issue":"3","key":"2_CR59","doi-asserted-by":"publisher","first-page":"552","DOI":"10.2307\/1968478","volume":"37","author":"J. F. Ritt","year":"1936","unstructured":"J. F. Ritt. On the singular solutions of algebraic differential equations. Annals of Mathematics, 37(3):552\u2013617, 1936.","journal-title":"Annals of Mathematics"},{"key":"2_CR60","doi-asserted-by":"crossref","unstructured":"J. F. Ritt. Differential Algebra, volume XXXIII of Colloquium publications. American Mathematical Society, 1950. Reprinted by Dover Publications, Inc (1966).","DOI":"10.1090\/coll\/033"},{"key":"2_CR61","doi-asserted-by":"publisher","first-page":"394","DOI":"10.2307\/1993179","volume":"90","author":"A. Rosenfeld","year":"1959","unstructured":"A. Rosenfeld. Specializations in differential algebra. Transaction of the American Mathematical Society, 90:394\u2013407, 1959.","journal-title":"Transaction of the American Mathematical Society"},{"key":"2_CR62","doi-asserted-by":"crossref","unstructured":"C. J. Rust and G. J. Reid. Rankings of partial derivatives. In Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation (Kihei, HI), pages 9\u201316, New York, 1997. ACM.","DOI":"10.1145\/258726.258737"},{"key":"2_CR63","doi-asserted-by":"crossref","unstructured":"C. J. Rust, G. J. Reid, and A. D. Wittkopf. Existence and uniqueness theorems for formal power series solutions of analytic differential systems. In Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation (Vancouver, BC), pages 105\u2013112, New York, 1999 ACM.","DOI":"10.1145\/309831.309875"},{"key":"2_CR64","unstructured":"F. Schwarz. Algorithmic Lie theory for solving ordinary differential equations. 2003. In this volume."},{"key":"2_CR65","doi-asserted-by":"crossref","unstructured":"A. Sedoglavic. A probabilistic algorithm to test local algebraic observability in polynomial time. In B. Mourrain, editor, Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation (London, Canada, July 22\u201325 2001), pages 309\u2013316, 2001.","DOI":"10.1145\/384101.384143"},{"issue":"2","key":"2_CR66","first-page":"31","volume":"3","author":"A. Seidenberg","year":"1956","unstructured":"A. Seidenberg. An elimination theory for differential algebra. University of California Publications in Mathematics, 3(2):31\u201366, 1956.","journal-title":"University of California Publications in Mathematics"},{"key":"2_CR67","first-page":"34","volume":"7","author":"W. Seiler","year":"1997","unstructured":"W. Seiler. Computer algebra and differential equations \u2014 an overview. mathPAD7, 7:34\u201349, 1997.","journal-title":"mathPAD7"},{"key":"2_CR68","unstructured":"W. Sit. The Ritt-Kolchin theory for differential polynomials. In Guo et al. [30]."},{"key":"2_CR69","unstructured":"G. Thomas. Contributions Th\u00e9oriques et Algorithmiques \u00e0 l\u2019\u00c9tude des \u00c9quations Diff\u00e9rentielles-Alg\u00e9briques. Approche par le Calcul Formel. PhD thesis, Institut National Polytechnique de Grenoble, Juillet 1997."},{"key":"2_CR70","unstructured":"J. Visconti. HIDAES (Higher Index Differential Algebraic Equations Solver). Software and test set. Technical report, LMC-IMAG, http:\/\/www-lmc.imag.fr\/CF\/LOGICIELS\/page_dae.html, 1999."},{"key":"2_CR71","unstructured":"J. Visconti. R\u00e9solution num\u00e9rique des \u00e9quations alg\u00e9bro-diff\u00e9rentielles, Estimation de l\u2019erreur globale et r\u00e9duction formel de l\u2019indice. PhD thesis, Institut National Polytechnique de Grenoble, 1999. http:\/\/www-lmc.imag.fr\/CF\/publi\/theses\/visconti.ps.gz."},{"issue":"3","key":"2_CR72","first-page":"216","volume":"9","author":"D. Wang","year":"1996","unstructured":"D. Wang. An elimination method for differential polynomial systems. I. Systems Science and Mathematical Sciences, 9(3):216\u2013228, 1996.","journal-title":"Systems Science and Mathematical Sciences"},{"key":"2_CR73","unstructured":"A. Witkopf and G. Reid. The RIF package. CECM \u2014 Simon Fraser University \u2014 Vancouver, http:\/\/www.cecm.sfu.ca\/wittkopf\/rif.html."},{"issue":"2","key":"2_CR74","first-page":"171","volume":"7","author":"W. T. Wu","year":"1991","unstructured":"W. T. Wu. Mechanical theorem proving of differential geometries and some of its applications in mechanics. Journal of Automated Reasoning, 7(2):171\u2013191, 1991.","journal-title":"Journal of Automated Reasoning"}],"container-title":["Lecture Notes in Computer Science","Symbolic and Numerical Scientific Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45084-X_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,6]],"date-time":"2023-02-06T20:17:09Z","timestamp":1675714629000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-45084-X_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540405542","9783540450849"],"references-count":74,"URL":"https:\/\/doi.org\/10.1007\/3-540-45084-x_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"24 June 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}