CSpace  > 自动推理与认知研究中心
A Special Homotopy Continuation Method for a Class of Polynomial Systems
Wang, Yu1; Wu, Wenyuan2; Xia, Bican1
2017
摘要A special homotopy continuation method, as a combination of the polyhedral homotopy and the linear product homotopy, is proposed for computing all the isolated solutions to a special class of polynomial systems. The root number bound of this method is between the total degree bound and the mixed volume bound and can be easily computed. The new algorithm has been implemented as a program called LPH using C++. Our experiments show its efficiency compared to the polyhedral or other homotopies on such systems. As an application, the algorithm can be used to find witness points on each connected component of a real variety. © 2017, Springer International Publishing AG.
语种英语
DOI10.1007/978-3-319-66320-3_26
会议(录)名称19th International Workshop on Computer Algebra in Scientific Computing, CASC 2017
页码362-376
通讯作者Wu, Wenyuan (wuwenyuan@cigit.ac.cn)
收录类别EI
会议地点Beijing, China
会议日期September 18, 2017 - September 22, 2017