KMS Chongqing Institute of Green and Intelligent Technology, CAS
Computing real witness points of positive dimensional polynomial systems | |
Wu, Wenyuan1; Reid, Greg2; Feng, Yong1 | |
2017-06-12 | |
摘要 | We consider a critical point method for finding certain solution (witness) points on real solution components of real polynomial systems of equations. The method finds points that are critical points of the distance from a plane to the component with the requirement that certain regularity conditions are satisfied. In this paper we analyze the numerical stability and complexity of the method. We aim to find at least one well conditioned witness point on each connected component by using perturbation, path tracking and projection techniques. An optimal-direction strategy and an adaptive step size control strategy for path following on high dimensional components are given. (C) 2017 Elsevier B.V. All rights reserved. |
关键词 | Numerical algebraic geometry Real algebraic geometry Homotopy continuation Singular critical points Real witness points |
DOI | 10.1016/j.tcs.2017.03.035 |
发表期刊 | THEORETICAL COMPUTER SCIENCE |
ISSN | 0304-3975 |
卷号 | 681页码:217-231 |
通讯作者 | Wu, WY (reprint author), Chinese Acad Sci, Chongqing Inst Green & Intelligent Technol, Chongqing Key Lab Automated Reasoning & Cognit, Beijing, Peoples R China. |
收录类别 | SCI |
WOS记录号 | WOS:000404502300014 |
语种 | 英语 |