CSpace  > 自动推理与认知研究中心
Penalty Function Based Critical Point Approach to Compute Real Witness Solution Points of Polynomial Systems
Wu, Wenyuan1,2; Chen, Changbo1,2; Reid, Greg3
2017
摘要We present a critical point method based on a penalty function for finding certain solution (witness) points on real solutions components of general real polynomial systems. Unlike other existing numerical methods, the new method does not require the input polynomial system to have pure dimension or satisfy certain regularity conditions. This method has two stages. In the first stage it finds approximate solution points of the input system such that there is at least one real point on each connected solution component. In the second stage it refines the points by a homotopy continuation or traditional Newton iteration. The singularities of the original system are removed by embedding it in a higher dimensional space. In this paper we also analyze the convergence rate and give an error analysis of the method. Experimental results are also given and shown to be in close agreement with the theory. © 2017, Springer International Publishing AG.
语种英语
DOI10.1007/978-3-319-66320-3_27
会议(录)名称19th International Workshop on Computer Algebra in Scientific Computing, CASC 2017
页码377-391
通讯作者Chen, Changbo (chenchangbo@cigit.ac.cn)
收录类别EI
会议地点Beijing, China
会议日期September 18, 2017 - September 22, 2017