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

作     者：YANG Zhengfeng ZHAO Hanrui ZHI Lihong YANG Zhengfeng;ZHAO Hanrui;ZHI Lihong

作者机构：Shanghai Key Laboratory of Trustworthy ComputingEast China Normal UniversityShanghai 200062China. Key Laboratory of Mathematics MechanizationAcademy of Mathematics and Systems ScienceChinese Academy of SciencesBeijing 100190China University of Chinese Academy of SciencesBeijing 100049China 

出 版 物：《Journal of Systems Science & Complexity》 (系统科学与复杂性学报（英文版）)

年 卷 期：2023年第36卷第2期

页      面：866-883页

核心收录：

学科分类：07[理学] 070104[理学-应用数学] 0701[理学-数学] 070101[理学-基础数学] 

基　　金：supported by the National Key Research Project of China under Grant No.2018YFA0306702 the National Natural Science Foundation of China under Grant Nos.12171159,12071467 and 61772203 Shanghai Trusted Industry Internet Software Collaborative Innovation Center 

主　　题：Error bounds polynomial system real solutions singular solutions verification 

摘      要：VerifyRealRoots is a Matlab package for computing and verifying real solutions of polynomial systems of equations and *** 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.