TY  - RPRT
TI  - Certified Numerical Real Root Isolation of Zero-dimensional Multivariate Real Nonlinear Systems
AU  - Jin-San Cheng
AU  - Junyi Wen
PY  - 2022
UR  - https://arxiv.org/abs/2211.05266
ID  - 2211.05266
ER  -