{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T13:19:09Z","timestamp":1776863949492,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":54,"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_1","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T16:05:12Z","timestamp":1183478712000},"page":"1-39","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":25,"title":["Notes on Triangular Sets and Triangulation-Decomposition Algorithms I: Polynomial 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":"1_CR1","first-page":"65","volume":"2","author":"S. A. Abramov","year":"1993","unstructured":"S. A. Abramov and K. Y. Kvashenko. The greatest common divisor of polynomials that depend on a parameter. Vestnik Moskovskogo Universiteta. Seriya XV. Vychislitel\u2019 naya Matematika i Kibernetika, 2: 65\u201371, 1993. translation in Moscow Univ. Comput. Math. Cybernet. 1993, no. 2, 59\u201364.","journal-title":"Vestnik Moskovskogo Universiteta. Seriya XV. Vychislitel\u2019 naya Matematika i Kibernetika"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"P. Aubry, D. Lazard, and M. Moreno-Maza. On the theories of triangular sets. Journal of Symbolic Computation, 28(1\u20132), 1999.","DOI":"10.1006\/jsco.1999.0269"},{"issue":"1\u20132","key":"1_CR3","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1006\/jsco.1999.0270","volume":"28","author":"P. Aubry","year":"1999","unstructured":"P. Aubry and M. Moreno-Maza. Triangular sets for solving polynomial systems: a comparative implementation of four methods. Journal of Symbolic Computation, 28(1\u20132):125\u2013154, 1999.","journal-title":"Journal of Symbolic Computation"},{"issue":"6","key":"1_CR4","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1006\/jsco.2002.0563","volume":"33","author":"P. Aubry","year":"2003","unstructured":"P. Aubry, F. Rouillier, and M. Safey El Din. Real solving for positive dimensional systems. Journal of Symbolic Computation, 33(6):543\u2013560, 2003.","journal-title":"Journal of Symbolic Computation"},{"key":"1_CR5","unstructured":"P. Aubry. Ensembles triangulaires de polynomes et r\u00e9solution de syst\u00e8mes alg\u00e9briques. Implantation en Axiom. PhD thesis, Universit\u00e9 de Paris 6, 1999"},{"issue":"334","key":"1_CR6","first-page":"155","volume":"I","author":"A. M. Bellido","year":"2001","unstructured":"A. M. Bellido and V. Jalby. Sp\u00e9cifcations des algorithmes de triangulation de syst\u00e8mes alg\u00e9bro-\u00e9l\u00e9mentaires. C. R. Acad. Sci. Paris, Ser. I(334):155\u2013159, 2001.","journal-title":"C. R. Acad. Sci. Paris"},{"issue":"6","key":"1_CR7","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":"1_CR8","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":"1_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":"1_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":"1_CR11","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":"1_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/3-540-52885-7_89","volume-title":"10th International Conference on Automated Deduction","author":"S. C. Chou","year":"1990","unstructured":"S. C. Chou and X. S. Gao. Ritt-wu\u2019s decomposition algorithm and geometry theorem proving. In M. E. Stickel, editor, 10th International Conference on Automated Deduction, number 449 in Lecture Notes in Computer Sciences, pages 207\u2013220. Springer-Verlag, 1990."},{"key":"1_CR13","doi-asserted-by":"crossref","DOI":"10.1142\/2196","volume-title":"Machine proofs in geometry","author":"S. C. Chou","year":"1994","unstructured":"S. C. Chou, X. S. Gao, and J. Z. Zhang. Machine proofs in geometry. World Scientific Publishing Co. Inc., River Edge, NJ, 1994. Automated productionof readable proofs for geometry theorems, With a foreword by Robert S. Boyer."},{"issue":"5","key":"1_CR14","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"},{"key":"1_CR15","volume-title":"Mechanical geometry theorem proving","author":"S. C. Chou","year":"1988","unstructured":"S. C. Chou. Mechanical geometry theorem proving. D. Reidel Publishing Co., Dordrecht, 1988. With a foreword by Larry Wos."},{"key":"1_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/3-540-15984-3_279","volume-title":"Proceedings of EUROCAL 85","author":"J. Della Dora","year":"1985","unstructured":"J. Della Dora, C. Dicrescenzo, and D. Duval. About a new method for computing in algebraic number fields. In Proceedings of EUROCAL 85, number 204 in Lecture Notes in Computer Science, pages 289\u2013290. Springer-Verlag, 1985."},{"key":"1_CR17","unstructured":"S. Delli\u00e8re. Triangularisation de syst\u00e8mes constructibles. Application \u00e0 l\u2019\u00e9valuation dynamique. PhD thesis, Universit\u00e9 de Limoges, 1999."},{"key":"1_CR18","series-title":"Technical Report","volume-title":"D. M. Wang simple systems and dynamic constructible closure","author":"S. Delli\u00e8re","year":"2000","unstructured":"S. Delli\u00e8re. D. M. Wang simple systems and dynamic constructible closure. Technical Report 16, Laboratoire d\u2019Arithm\u00e9tique, de Calcul Formel et d\u2019Optimisation, Limoges, http:\/\/www.unilim.fr\/laco, 2000."},{"key":"1_CR19","unstructured":"S. Delli\u00e8re. A first course to D7 with examples. http:\/\/www-lmc.imag.fr\/lmc-cf\/Claire.Dicrescenzo\/D7, 2000."},{"key":"1_CR20","series-title":"Technical Report","volume-title":"Pgcd de deux polyn\u00f4mes \u00e0 param\u00e8tres: approche par la cl\u00f4ture constructible dynamique et g\u00e9n\u00e9ralisation de la m\u00e9thode de S. A. Abramov, K. Yu. Kvashenko","author":"S. Delli\u00e8re","year":"2000","unstructured":"S. Delli\u00e8re. Pgcd de deux polyn\u00f4mes \u00e0 param\u00e8tres: approche par la cl\u00f4ture constructible dynamique et g\u00e9n\u00e9ralisation de la m\u00e9thode de S. A. Abramov, K. Yu. Kvashenko. Technical Report RR-3882, INRIA, Sophia Antipolis, 2000. http:\/\/www.inria.fr\/RRRT\/RR-3882.html"},{"issue":"1","key":"1_CR21","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/S0022-4049(00)00136-5","volume":"163","author":"S. Delli\u00e8re","year":"2001","unstructured":"S. Delli\u00e8re. On the links between triangular sets and dynamic constructible closure. J. Pure Appl. Algebra, 163(1):49\u201368, 2001.","journal-title":"J. Pure Appl. Algebra"},{"key":"1_CR22","volume-title":"Diverses questions relatives au calcul formel avec des nombres alg\u00e9briques","author":"D. Duval","year":"1987","unstructured":"D. Duval. Diverses questions relatives au calcul formel avec des nombres alg\u00e9briques. PhD thesis, Institut Fourier, Grenoble, 1987."},{"key":"1_CR23","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":"1_CR24","doi-asserted-by":"crossref","unstructured":"M. V. Foursov and M. Moreno Maza. On computer-assisted classification of coupled integrable equations. In Proceedings of the 2001 international symposium on Symbolic and algebraic computation, pages 129\u2013136. ACM Press, 2001.","DOI":"10.1145\/384101.384120"},{"key":"1_CR25","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1145\/143242.143348","volume-title":"ISSAC 92","author":"X. S. Gao","year":"1992","unstructured":"X. S. Gao and S. C. Chou. Solving parametric algebraic sytems. In ISSAC 92, pages 335\u2013341. ACM Press, New York, NY, USA, 1992."},{"key":"1_CR26","doi-asserted-by":"crossref","DOI":"10.1007\/b102438","volume-title":"Algorithms for computer algebra","author":"K. O. Geddes","year":"1992","unstructured":"K. O. Geddes, S. R. Czapor, and G. Labahn. Algorithms for computer algebra. Kluwer Academic Publishers, Boston, MA, 1992."},{"key":"1_CR27","unstructured":"T. G\u00f3mez-D\u00eeaz. Quelques applications de l\u2019\u00e9valuation dynamique. PhD thesis, Universit\u00e9 de Limoges, 1994."},{"issue":"4\u20135","key":"1_CR28","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":"1_CR29","doi-asserted-by":"crossref","unstructured":"E. Hubert. Notes on triangular sets and triangulation-decomposition algorithms. II Differential systems. In this volume, 2003.","DOI":"10.1007\/3-540-45084-X_2"},{"issue":"2","key":"1_CR30","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"},{"issue":"5","key":"1_CR31","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1006\/jsco.1998.0227","volume":"26","author":"M. Kalkbrener","year":"1998","unstructured":"M. Kalkbrener. Algorithmic properties of polynomial rings. Journal of Symbolic Computation, 26(5):525\u2013582, November 1998.","journal-title":"Journal of Symbolic Computation"},{"key":"1_CR32","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":"1_CR33","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/0166-218X(91)90113-B","volume":"33","author":"D. Lazard","year":"1991","unstructured":"D. Lazard. A new method for solving algebraic systems of positive dimension. Discrete and Applied Mathematics, 33:147\u2013160, 1991.","journal-title":"Discrete and Applied Mathematics"},{"key":"1_CR34","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"},{"issue":"3","key":"1_CR35","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1023\/A:1005821729260","volume":"20","author":"H. Ma\u00e2rouf","year":"1998","unstructured":"H. Ma\u00e2rouf, A. Kandri Rody, and M. Ssafini. Triviality and dimension of a system of algebraic differential equations. Journal of Automated Reasoning, 20(3):365\u2013385, 1998.","journal-title":"Journal of Automated Reasoning"},{"key":"1_CR36","unstructured":"M. Moreno-Maza. Calculs de pgcd au-dessus des tours d\u2019extensions simples et r\u00e9solution des syst\u00e8mes d\u2019\u00e9quations alg\u00e9briques. PhD thesis, Universit\u00e9 Paris 6, 1997."},{"key":"1_CR37","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":"1_CR38","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"},{"issue":"1\u20132","key":"1_CR39","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1006\/jsco.1999.0273","volume":"28","author":"D. Richardson","year":"1999","unstructured":"D. Richardson. Weak Wu stratification in R\n                           n. Journal of Symbolic Computation, 28(1\u20132):213\u2013223, 1999. Polynomial elimination\u2014algorithms and applications.","journal-title":"Journal of Symbolic Computation"},{"key":"1_CR40","doi-asserted-by":"publisher","first-page":"569","DOI":"10.2307\/1989342","volume":"32","author":"J. F. Ritt","year":"1930","unstructured":"J. F. Ritt. Manifolds of functions defined by systems of algebraic differential equations. Transaction of the American Mathematical Society, 32:569\u2013598, 1930.","journal-title":"Transaction of the American Mathematical Society"},{"key":"1_CR41","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"},{"key":"1_CR42","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":"1_CR43","unstructured":"E. Schost. Sur la r\u00e9solution des syst\u00e8mes polynomiaux \u00e0 param\u00e8tres. PhD thesis, \u00c9cole polytechnique, 2000."},{"key":"1_CR44","unstructured":"J. Schicho and Z. Li. A construction of radical ideals in polynomial algebra. Technical Report 98-17, RISC-Linz, 1998. ftp:\/\/ftp.risc.uni-linz.ac.at\/pub\/techreports\/1998\/98-17.ps.gz."},{"key":"1_CR45","unstructured":"A. Szanto. Computation with polynomial systems. PhD thesis, Cornell University, 1998."},{"key":"1_CR46","series-title":"Algorithms and Computation in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-58951-5","volume-title":"Computational Methods in Commutative Algebra and Algebraic Geometry","author":"W. V. Vasconcelos","year":"1998","unstructured":"W. V. Vasconcelos. Computational Methods in Commutative Algebra and Algebraic Geometry, volume 2 of Algorithms and Computation in Mathematics. Springer, Berlin, 1998."},{"key":"1_CR47","volume-title":"Modern computer algebra","author":"J. von zur Gathen","year":"1999","unstructured":"J. von zur Gathen and J. Gerhard. Modern computer algebra. Cambridge University Press, New York, 1999."},{"issue":"2","key":"1_CR48","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1006\/jsco.1993.1035","volume":"16","author":"D. Wang","year":"1993","unstructured":"D. Wang. An elimination method for polynomial systems. Journal of Symbolic Computation, 16(2): 83\u2013114, August 1993.","journal-title":"Journal of Symbolic Computation"},{"issue":"3","key":"1_CR49","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1006\/jsco.1997.0177","volume":"25","author":"D. Wang","year":"1998","unstructured":"D. Wang. Decomposing polynomial systems into simple systems. Journal of Symbolic Computation, 25(3):295\u2013314, 1998.","journal-title":"Journal of Symbolic Computation"},{"key":"1_CR50","unstructured":"D. Wang. Elimination methods. Texts and Monographs in Symbolic Computation. Springer-Verlag Wien, 1999."},{"issue":"2","key":"1_CR51","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1006\/jsco.1999.0355","volume":"30","author":"D. Wang","year":"2000","unstructured":"D. Wang. Computing triangular systems and regular systems. Journal of Symbolic Computation, 30(2):221\u2013236, 2000.","journal-title":"Journal of Symbolic Computation"},{"issue":"2","key":"1_CR52","first-page":"159","volume":"21","author":"W. T. Wu","year":"1978","unstructured":"W. T. Wu. On the decision problem and the mechanization of theorem-proving in elementary geometry. Sci. Sinica, 21(2):159\u2013172, 1978.","journal-title":"Sci. Sinica"},{"key":"1_CR53","volume-title":"Mechanical theorem proving in geometries","author":"W. T. Wu","year":"1994","unstructured":"W. T. Wu. Mechanical theorem proving in geometries. Springer-Verlag, Vienna, 1994. Basic principles, Translated from the 1984 Chinese original by Xiao Fan Jin and Dong Ming Wang."},{"key":"1_CR54","volume-title":"Mathematics mechanization","author":"W. T. Wu","year":"2000","unstructured":"W. T. Wu. Mathematics mechanization. Kluwer Academic Publishers Group, Dordrecht, 2000. Mechanical geometry theorem-proving, mechanical geometry problem-solving and polynomial equations-solving."}],"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_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,16]],"date-time":"2023-02-16T19:18:35Z","timestamp":1676575115000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-45084-X_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540405542","9783540450849"],"references-count":54,"URL":"https:\/\/doi.org\/10.1007\/3-540-45084-x_1","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"}}]}}