VerifyRealRoots: A Matlab Package for Computing Verified Real Solutions of Polynomials Systems of Equations and Inequalities

被引：1
|
作者：
Yang, Zhengfeng [1 ]
Zhao, Hanrui [1 ]
Zhi, Lihong [2 ,3 ]
机构：
[1] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China
[2] Chinese Acad Sci, Acad Math & Syst Sci, Key Lab Math Mechanizat, Beijing 100190, Peoples R China
[3] Univ Chinese Acad Sci, Beijing 100049, Peoples R China
来源：
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY | 2023年 / 36卷 / 02期
基金：
中国国家自然科学基金;
关键词：
Error bounds; polynomial system; real solutions; singular solutions; verification; ISOLATED SINGULAR SOLUTIONS; CYLINDRICAL ALGEBRAIC DECOMPOSITION; ERROR-BOUNDS; EXISTENTIAL THEORY; COMPLEXITY; GEOMETRY; POINTS; ROOTS; SET;
D O I：
10.1007/s11424-023-1406-7
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
VerifyRealRoots is a Matlab package for computing and verifying real solutions of polynomial systems of equations and inequalities. It calls Bertini or MMCRSolver for finding approximate real solutions and then applies AINLSS to verify the existence of a regular solution of a polynomial system or applies AINLSS2 (AIVISS) to verify the existence of a double solution (a singular solution of an arbitrary multiplicity) of a slightly perturbed polynomial system.
引用
收藏
页码：866 / 883
页数：18
相关论文
共 50 条
12345