{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T18:42:42Z","timestamp":1730313762390,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,7,24]]},"DOI":"10.1145\/1073884.1073922","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T08:31:47Z","timestamp":1123057907000},"page":"269-276","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Symbolic-numeric completion of differential systems by homotopy continuation"],"prefix":"10.1145","author":[{"given":"Greg","family":"Reid","sequence":"first","affiliation":[{"name":"University of Western Ontario, London, ON, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Verschelde","sequence":"additional","affiliation":[{"name":"University of Illinois at Chicago, Chicago, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Allan","family":"Wittkopf","sequence":"additional","affiliation":[{"name":"Simon Fraser University, Burnaby, British Columbia, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenyuan","family":"Wu","sequence":"additional","affiliation":[{"name":"University of Western Ontario, London, ON, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,7,24]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"233","volume-title":"Determination of Approximate Symmetries of Differential Equations","author":"Bonasia J.","year":"2004","unstructured":"J. Bonasia , F. Lemaire , G. Reid , R. Scott , and L. Zhi . Determination of Approximate Symmetries of Differential Equations . Centre de Recherches Math\u00e9matiques , CRM Proceedings and Lecture Notes. Vol 39, pages 233 -- 250 , 2004 . J. Bonasia, F. Lemaire, G. Reid, R. Scott, and L. Zhi. Determination of Approximate Symmetries of Differential Equations. Centre de Recherches Math\u00e9matiques, CRM Proceedings and Lecture Notes. Vol 39, pages 233--250, 2004."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/265020"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/220346.220367"},{"key":"e_1_3_2_1_4_1","series-title":"Algorithms and Computation in Mathematics 14","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/3-540-27357-3_9","volume-title":"Solving Polynomial Equations: Foundations, Algorithms, and Applications.","author":"Ch\u00e8ze G.","year":"2005","unstructured":"G. Ch\u00e8ze and A. Galligo . Four Lectures on Polynomial Absolute Factorization . In A. Dickenstein and I.Z. Emiri (Eds.), Solving Polynomial Equations: Foundations, Algorithms, and Applications. Volume 14 of Algorithms and Computation in Mathematics 14 , Springer-Verlag , pages 339 -- 392 , 2005 . G. Ch\u00e8ze and A. Galligo. Four Lectures on Polynomial Absolute Factorization. In A. Dickenstein and I.Z. Emiri (Eds.), Solving Polynomial Equations: Foundations, Algorithms, and Applications. Volume 14 of Algorithms and Computation in Mathematics 14, Springer-Verlag, pages 339--392, 2005."},{"key":"e_1_3_2_1_5_1","volume-title":"Involutive Bases of Algebraic Partial Differential Equation Systems. Science in China (A), 33(2), page 97--113","author":"Chen Y.","year":"2003","unstructured":"Y. Chen and X.-S. Gao . Involutive Bases of Algebraic Partial Differential Equation Systems. Science in China (A), 33(2), page 97--113 , 2003 . Y. Chen and X.-S. Gao. Involutive Bases of Algebraic Partial Differential Equation Systems. Science in China (A), 33(2), page 97--113, 2003."},{"key":"e_1_3_2_1_6_1","unstructured":"M.\n      Giusti\n     and \n      J.\n      Heintz\n  . \n  La d\u00e9termination de la dimension et des points isol\u00e9es d'une vari\u00e9t\u00e9alg\u00e9brique peuvent s'effectuer en temps polynomial\n  . In D. Eisenbud and L. Robbiano eds. Computational Algebraic Geometry and Commutative Algebra Cortona\n  1991 vol. \n  XXXIV\n   of \n  Symposia Mathematica pages \n  216\n  --\n  256\n  . Camb. \n  Univ. Press 1993.  M. Giusti and J. Heintz. La d\u00e9termination de la dimension et des points isol\u00e9es d'une vari\u00e9t\u00e9alg\u00e9brique peuvent s'effectuer en temps polynomial. In D. Eisenbud and L. Robbiano eds. Computational Algebraic Geometry and Commutative Algebra Cortona 1991 vol. XXXIV of Symposia Mathematica pages 216--256. Camb. Univ. Press 1993."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1142\/9789812704436_0012"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.1998.0243"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00054-6"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0885-064X(03)00031-1"},{"key":"e_1_3_2_1_11_1","first-page":"139","volume-title":"Proceedings of the Tenth International Conference on Applications of Computer Algebra (ACA'04)","author":"Leykin A.","year":"2004","unstructured":"A. Leykin and J. Verschelde . PHCmaple: A Maple Interface to the Numerical Homotopy Algorithms in PHCpack. In Quoc-Nam Tran, ed ., Proceedings of the Tenth International Conference on Applications of Computer Algebra (ACA'04) , pages 139 -- 147 , 2004 . A. Leykin and J. Verschelde. PHCmaple: A Maple Interface to the Numerical Homotopy Algorithms in PHCpack. In Quoc-Nam Tran, ed.,Proceedings of the Tenth International Conference on Applications of Computer Algebra (ACA'04), pages 139--147, 2004."},{"key":"e_1_3_2_1_13_1","volume-title":"Systems of Partial Differential Equations and Lie Pseudogroups","author":"Pommaret J.F.","year":"1978","unstructured":"J.F. Pommaret . Systems of Partial Differential Equations and Lie Pseudogroups . Gordon and Breach Science Publishers, Inc. 1978 . J.F. Pommaret. Systems of Partial Differential Equations and Lie Pseudogroups. Gordon and Breach Science Publishers, Inc. 1978."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/581316.581317"},{"volume-title":"A Point symmetry group of a differential equation which cannot be found using infinitesimal methods","author":"Reid G. J.","key":"e_1_3_2_1_15_1","unstructured":"G. J. Reid , D. T. Weih and A. D. Wittkopf . A Point symmetry group of a differential equation which cannot be found using infinitesimal methods . In Modern Group Analysis : Advanced Analytical and Computational Methods in Mathematical Physics. Edited by N.H. Ibragimov, M. Torrisi and A. Valenti. Kluwer, Dordrecht, 93--99, 1993. G. J. Reid, D. T. Weih and A. D. Wittkopf. A Point symmetry group of a differential equation which cannot be found using infinitesimal methods. In Modern Group Analysis: Advanced Analytical and Computational Methods in Mathematical Physics. Edited by N.H. Ibragimov, M. Torrisi and A. Valenti. Kluwer, Dordrecht, 93--99, 1993."},{"key":"e_1_3_2_1_16_1","first-page":"604","article-title":"Reduction of systems of nonlinear partial differential equations to simplified involutive forms","volume":"7","author":"Reid G. J.","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 -- 635 . 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--635.","journal-title":"Eur. J. of Appl. Math."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1111\/1467-9590.00159"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2002.0532"},{"key":"e_1_3_2_1_20_1","volume-title":"Involution - The formal theory of differential equations and its applications in computer algebra and numerical analysis. Habilitation Thesis","author":"Seiler W.M.","year":"2002","unstructured":"W.M. Seiler . Involution - The formal theory of differential equations and its applications in computer algebra and numerical analysis. Habilitation Thesis , Univ. of Mannheim , 2002 . W.M. Seiler. Involution - The formal theory of differential equations and its applications in computer algebra and numerical analysis. Habilitation Thesis, Univ. of Mannheim, 2002."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcom.2000.0554"},{"key":"e_1_3_2_1_22_1","first-page":"109","volume-title":"Numerical irreducible decomposition using PHC pack","author":"Sommese A. J.","year":"2003","unstructured":"A. J. Sommese , J. Verschelde , and C. W. Wampler . Numerical irreducible decomposition using PHC pack . In M. Joswig and N.Takayama, editors, Algebra, Geometry , and Software Systems, pages 109 -- 130 . Springer--Verlag , 2003 . A. J. Sommese, J. Verschelde, and C. W. Wampler. Numerical irreducible decomposition using PHC pack. In M. Joswig and N.Takayama, editors, Algebra, Geometry, and Software Systems, pages 109--130. Springer--Verlag, 2003."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0036142903430463"},{"key":"e_1_3_2_1_24_1","series-title":"Lectures in Applied Mathematics","volume-title":"The Mathematics of Numerical Analysis","author":"Sommese A. J.","year":"1996","unstructured":"A. J. Sommese and C. W. Wampler . Numerical algebraic geometry . In The Mathematics of Numerical Analysis , Volume 32 of Lectures in Applied Mathematics , edited by J. Renegar, M. Shub, and S. Smale, 749--763, 1996 . Proceedings of the AMS-SIAM Summer Seminar in Applied Mathematics, Park City, Utah, July 17-August 11, 1995, Park City, Utah. A. J. Sommese and C. W. Wampler. Numerical algebraic geometry. In The Mathematics of Numerical Analysis, Volume 32 of Lectures in Applied Mathematics, edited by J. Renegar, M. Shub, and S. Smale, 749--763, 1996. Proceedings of the AMS-SIAM Summer Seminar in Applied Mathematics, Park City, Utah, July 17-August 11, 1995, Park City, Utah."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1142\/5763"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1093\/imanum\/20.4.561"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/317275.317286"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0010-4655(01)00192-8"},{"key":"e_1_3_2_1_29_1","volume-title":"Simon Fraser University","author":"Wittkopf A.","year":"2004","unstructured":"A. Wittkopf . Algorithms and Implementations for Differential Elimination. Ph.D. Thesis , Simon Fraser University , 2004 . A. Wittkopf. Algorithms and Implementations for Differential Elimination. Ph.D. Thesis, Simon Fraser University, 2004."},{"key":"e_1_3_2_1_30_1","first-page":"1","volume-title":"On the foundations of algebraic differential geometry. Mathematics-Mechanization Research Preprint No. 3","author":"Wu W.-T.","year":"1989","unstructured":"W.-T. Wu . On the foundations of algebraic differential geometry. Mathematics-Mechanization Research Preprint No. 3 , pages 1 -- 26 , 1989 . W.-T. Wu. On the foundations of algebraic differential geometry. Mathematics-Mechanization Research Preprint No. 3, pages 1--26, 1989."}],"event":{"name":"ISSAC05: International Symposium on Symbolic and Algebraic Computation","sponsor":["ACM Association for Computing Machinery","SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Beijing China","acronym":"ISSAC05"},"container-title":["Proceedings of the 2005 international symposium on Symbolic and algebraic computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1073884.1073922","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,9]],"date-time":"2023-01-09T22:40:29Z","timestamp":1673304029000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1073884.1073922"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,7,24]]},"references-count":28,"alternative-id":["10.1145\/1073884.1073922","10.1145\/1073884"],"URL":"https:\/\/doi.org\/10.1145\/1073884.1073922","relation":{},"subject":[],"published":{"date-parts":[[2005,7,24]]},"assertion":[{"value":"2005-07-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}