Hanrui Zhao

From MaRDI portal
Person:6076835



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
VerifyRealRoots: a Matlab package for computing verified real solutions of polynomials systems of equations and inequalities
Journal of Systems Science and Complexity
2023-09-22Paper


Research outcomes over time


This page was built for person: Hanrui Zhao