中国科学院数学与系统科学研究院期刊网
JSSC
VerifyRealRoots: A Matlab Package for Computing Verified Real Solutions of Polynomials Systems of Equations and Inequalities
YANG Zhengfeng, ZHAO Hanrui, ZHI Lihong
VerifyRealRoots: A Matlab Package for Computing Verified Real Solutions of Polynomials Systems of Equations and Inequalities
YANG Zhengfeng, ZHAO Hanrui, ZHI Lihong
系统科学与复杂性(英文版) . 2023, (2): 866 -883 .  DOI: 10.1007/s11424-023-1406-7