{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,23]],"date-time":"2025-06-23T16:04:49Z","timestamp":1750694689125,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,7,29]],"date-time":"2007-07-29T00:00:00Z","timestamp":1185667200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,7,29]]},"DOI":"10.1145\/1277548.1277558","type":"proceedings-article","created":{"date-parts":[[2007,12,7]],"date-time":"2007-12-07T19:19:41Z","timestamp":1197055181000},"page":"61-68","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Differential forms in computational algebraic geometry"],"prefix":"10.1145","author":[{"given":"Peter","family":"B\u00fcrgisser","sequence":"first","affiliation":[{"name":"University of Paderborn"}]},{"given":"Peter","family":"Scheiblechner","sequence":"additional","affiliation":[{"name":"University of Paderborn"}]}],"member":"320","published-online":{"date-parts":[[2007,7,29]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1999.0269"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/74540.74551"},{"key":"e_1_3_2_1_3_1","series-title":"Algorithms and Computation in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05355-3","volume-title":"Algorithms in Real Algebraic Geometry","author":"Basu S.","year":"2003","unstructured":"S. Basu , R. Pollack , and M. -F. Roy . Algorithms in Real Algebraic Geometry , volume 10 of Algorithms and Computation in Mathematics . Springer-Verlag , Berlin Heidelberg New York, 2003 . S. Basu, R. Pollack, and M. -F. Roy. Algorithms in Real Algebraic Geometry, volume 10 of Algorithms and Computation in Mathematics. Springer-Verlag, Berlin Heidelberg New York, 2003."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(84)90018-8"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0273-0979-1989-15750-9"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1137\/0206054"},{"key":"e_1_3_2_1_7_1","volume-title":"Proc. of Transgressive Computing 2006","author":"Boulier F.","year":"2006","unstructured":"F. Boulier , F. Lemaire , and M. Moreno Maza . Well known theorems on triangular systems and the D5 principle . In Proc. of Transgressive Computing 2006 , Granada, Spain , 2006 . F. Boulier, F. Lemaire, and M. Moreno Maza. Well known theorems on triangular systems and the D5 principle. In Proc. of Transgressive Computing 2006, Granada, Spain, 2006."},{"key":"e_1_3_2_1_8_1","series-title":"Quaderni di Matematica {Mathematics Series}","first-page":"73","volume-title":"B\u00e9zout, Betti, and Poincar\u00e9","author":"B\u00fcrgisser P.","year":"2004","unstructured":"P. B\u00fcrgisser and F. Cucker . Variations by complexity theorists on three themes of Euler , B\u00e9zout, Betti, and Poincar\u00e9 . In J. Kraj\u00ed\u010dek, editor, Complexity of computations and proofs, volume 13 of Quaderni di Matematica {Mathematics Series} , pages 73 -- 152 . Department of Mathematics , Seconda Universit\u00e0 di Napoli, Caserta, 2004 . P. B\u00fcrgisser and F. Cucker. Variations by complexity theorists on three themes of Euler, B\u00e9zout, Betti, and Poincar\u00e9. In J. Kraj\u00ed\u010dek, editor, Complexity of computations and proofs, volume 13 of Quaderni di Matematica {Mathematics Series}, pages 73--152. Department of Mathematics, Seconda Universit\u00e0 di Napoli, Caserta, 2004."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jco.2005.11.001"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00037-006-0213-6"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10208-005-0146-x"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/62212.62257"},{"key":"e_1_3_2_1_13_1","volume-title":"II., Zap. Nauchn. Sem. Leningrad Otdel. Mat. Inst. Steklov (LOMI), 137:124--188","author":"Chistov A.","year":"1984","unstructured":"A. Chistov . Algorithm of polynomial complexity for factoring polynomials, and finding the components of varieties in subexponential time. Theory of the complexity of computations , II., Zap. Nauchn. Sem. Leningrad Otdel. Mat. Inst. Steklov (LOMI), 137:124--188 , 1984 . English translation: J. Sov. Math . 34(1986). A. Chistov. Algorithm of polynomial complexity for factoring polynomials, and finding the components of varieties in subexponential time. Theory of the complexity of computations, II., Zap. Nauchn. Sem. Leningrad Otdel. Mat. Inst. Steklov (LOMI), 137:124--188, 1984. English translation: J. Sov. Math. 34(1986)."},{"key":"e_1_3_2_1_14_1","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5350-1","volume-title":"Commutative Algebra with a View Toward Algebraic Geometry","author":"Eisenbud D.","year":"1995","unstructured":"D. Eisenbud . Commutative Algebra with a View Toward Algebraic Geometry , volume 150 of Graduate Texts in Mathematics . Springer-Verlag , New York , 1995 . D. Eisenbud. Commutative Algebra with a View Toward Algebraic Geometry, volume 150 of Graduate Texts in Mathematics. Springer-Verlag, New York, 1995."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01231331"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1090\/dimacs\/006\/07","volume-title":"Discrete and Computational Geometry: Papers from the DIMACS Special Year","author":"Gallo G.","year":"1991","unstructured":"G. Gallo and B. Mishra . Wu-Ritt characteristic sets and their complexity . In Discrete and Computational Geometry: Papers from the DIMACS Special Year , pages 111 -- 136 , 1991 . G. Gallo and B. Mishra. Wu-Ritt characteristic sets and their complexity. In Discrete and Computational Geometry: Papers from the DIMACS Special Year, pages 111--136, 1991."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0025-5718-02-01428-X"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(88)80040-3"},{"key":"e_1_3_2_1_19_1","series-title":"Progress in Math","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/978-1-4612-0441-1_11","volume-title":"Effective Methods in Algebraic Geometry (Proceedings of MEGA'90)","author":"Giusti M.","year":"1991","unstructured":"M. Giusti and J. Heintz . Algorithmes -disons rapides-pour la d\u00e9composition d'une vari\u00e9t\u00e9 alg\u00e9brique en composantes irr\u00e9ductibles et\u00e9quidimensionnelles . In T. M. C. Traverso, editor, Effective Methods in Algebraic Geometry (Proceedings of MEGA'90) , volume 94 of Progress in Math ., pages 169 -- 193 , New York, NY , USA, 1991 . Birkh\u00e4user . M. Giusti and J. Heintz. Algorithmes -disons rapides-pour la d\u00e9composition d'une vari\u00e9t\u00e9 alg\u00e9brique en composantes irr\u00e9ductibles et\u00e9quidimensionnelles. In T. M. C. Traverso, editor, Effective Methods in Algebraic Geometry (Proceedings of MEGA'90), volume 94 of Progress in Math., pages 169--193, New York, NY, USA, 1991. Birkh\u00e4user."},{"key":"e_1_3_2_1_20_1","volume-title":"II., Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov (LOMI), 137:20--79","author":"Grigoriev D.","year":"1984","unstructured":"D. Grigoriev . Factoring polynomials over a finite field and solution of systems of algebraic equations. Theory of the complexity of computations , II., Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov (LOMI), 137:20--79 , 1984 . English translation: J. Sov. Math . 34(1986). D. Grigoriev. Factoring polynomials over a finite field and solution of systems of algebraic equations. Theory of the complexity of computations, II., Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov (LOMI), 137:20--79, 1984. English translation: J. Sov. Math. 34(1986)."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(83)90002-6"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/646235.682568"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1993.1011"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1994.1052"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1998.0227"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(85)80029-8"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.2307\/1990996"},{"key":"e_1_3_2_1_28_1","series-title":"Vieweg-Studium: Aufbaukurs Mathematik","volume-title":"Einf\u00fchrung in die kommutative Algebra und algebraische Geometrie","author":"Kunz E.","year":"1979","unstructured":"E. Kunz . Einf\u00fchrung in die kommutative Algebra und algebraische Geometrie , volume 46 of Vieweg-Studium: Aufbaukurs Mathematik . Vieweg , Wiesbaden , 1979 . E. Kunz. Einf\u00fchrung in die kommutative Algebra und algebraische Geometrie, volume 46 of Vieweg-Studium: Aufbaukurs Mathematik. Vieweg, Wiesbaden, 1979."},{"key":"e_1_3_2_1_29_1","volume-title":"Addison-Wesley","author":"Lang S.","year":"1984","unstructured":"S. Lang . Algebra. Addison-Wesley , second edition, 1984 . S. Lang. Algebra. Addison-Wesley, second edition, 1984."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/0166-218X(91)90113-B"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/270376.270471"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcom.1997.0447"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02579205"},{"key":"e_1_3_2_1_34_1","series-title":"Grundlehren der mathematischen Wissenschaften","volume-title":"Complex Projective Varieties","author":"Mumford D.","year":"1976","unstructured":"D. Mumford . Algebraic Geometry I : Complex Projective Varieties , volume 221 of Grundlehren der mathematischen Wissenschaften . Springer-Verlag , Berlin Heidelberg New York, 1976 . D. Mumford. Algebraic Geometry I: Complex Projective Varieties, volume 221 of Grundlehren der mathematischen Wissenschaften. Springer-Verlag, Berlin Heidelberg New York, 1976."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(77)80013-5"},{"key":"e_1_3_2_1_36_1","volume-title":"Americal Mathematical Society","author":"Ritt J.","year":"1950","unstructured":"J. Ritt . Differential Algebra . Americal Mathematical Society , 1950 . J. Ritt. Differential Algebra. Americal Mathematical Society, 1950."},{"key":"e_1_3_2_1_37_1","first-page":"167","article-title":"Reduzibilit\u00e4t ebener Kurven","volume":"369","author":"Ruppert W.","year":"1986","unstructured":"W. Ruppert . Reduzibilit\u00e4t ebener Kurven . J. Reine Angew. Math. , 369 : 167 -- 191 , 1986 . W. Ruppert. Reduzibilit\u00e4t ebener Kurven. J. Reine Angew. Math., 369:167--191, 1986.","journal-title":"J. Reine Angew. Math."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jco.2007.03.008"},{"key":"e_1_3_2_1_39_1","volume-title":"Basic Algebraic Geometry","author":"Shafarevich I. R.","year":"1972","unstructured":"I. R. Shafarevich . Basic Algebraic Geometry . Springer-Verlag , Berlin Heidelberg New York, 1972 . I. R. Shafarevich. Basic Algebraic Geometry. Springer-Verlag, Berlin Heidelberg New York, 1972."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/266670.266716"},{"key":"e_1_3_2_1_41_1","unstructured":"\u00c1. Sz\u00e1nt\u00f3. Computation with polynomial systems . PhD Thesis 1999 . \u00c1. Sz\u00e1nt\u00f3. Computation with polynomial systems. PhD Thesis 1999."},{"key":"e_1_3_2_1_42_1","first-page":"93","volume-title":"MFOCS86, number 233 in LNCS","author":"von zur Gathen J.","year":"1986","unstructured":"J. von zur Gathen . Parallel arithmetic computations: a survey . In MFOCS86, number 233 in LNCS , pages 93 -- 112 . SV , 1986 . J. von zur Gathen. Parallel arithmetic computations: a survey. In MFOCS86, number 233 in LNCS, pages 93--112. SV, 1986."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-8396(92)90045-Q"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02328447"}],"event":{"name":"ISSAC07: International Symposium on Symbolic and Algebraic Computation","sponsor":["ACM Association for Computing Machinery","SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Waterloo Ontario Canada","acronym":"ISSAC07"},"container-title":["Proceedings of the 2007 international symposium on Symbolic and algebraic computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1277548.1277558","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1277548.1277558","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:58:12Z","timestamp":1750258692000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1277548.1277558"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,29]]},"references-count":44,"alternative-id":["10.1145\/1277548.1277558","10.1145\/1277548"],"URL":"https:\/\/doi.org\/10.1145\/1277548.1277558","relation":{},"subject":[],"published":{"date-parts":[[2007,7,29]]},"assertion":[{"value":"2007-07-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}