VerifyRealRoots: A Matlab Package for Computing Verified Real Solutions of Polynomials Systems of Equations and Inequalities
Crossref DOI link: https://doi.org/10.1007/s11424-023-1406-7
Published Online: 2023-02-18
Published Print: 2023-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Yang, Zhengfeng
Zhao, Hanrui
Zhi, Lihong
Text and Data Mining valid from 2023-02-18
Version of Record valid from 2023-02-18
Article History
Received: 21 October 2021
Revised: 26 December 2021
First Online: 18 February 2023