CSpace  > 自动推理与认知研究中心
Full Rank Representation of Real Algebraic Sets and Applications
Chen, Changbo1,2; Wu, Wenyuan1,2; Feng, Yong1,2
2017
摘要We introduce the notion of the full rank representation of a real algebraic set, which represents it as the projection of a union of real algebraic manifolds VR(Fi) of Rm, m ≥ n, such that the rank of the Jacobian matrix of each Fiat any point of VR(Fi) is the same as the number of polynomials in F:i. By introducing an auxiliary variable, we show that a squarefree regular chain T can be transformed to a new regular chain C having various nice properties, such as the Jacobian matrix of C attains full rank at any point of VR(C). Based on a symbolic triangular decomposition approach and a numerical critical point technique, we present a hybrid algorithm to compute a full rank representation. As an application, we show that such a representation allows to better visualize plane and space curves with singularities. Effectiveness of this approach is also demonstrated by computing witness points of polynomial systems having rank-deficient Jacobian matrices. © 2017, Springer International Publishing AG.
语种英语
DOI10.1007/978-3-319-66320-3_5
会议(录)名称19th International Workshop on Computer Algebra in Scientific Computing, CASC 2017
页码51-65
通讯作者Wu, Wenyuan (wuwenyuan@cigit.ac.cn)
收录类别EI
会议地点Beijing, China
会议日期September 18, 2017 - September 22, 2017