TY  - RPRT
TI  - Numerical method for real root isolation of semi-algebraic system and its applications
AU  - Zhenyi Ji
AU  - Wenyuan Wu
AU  - Yi Li
AU  - Yong Feng
PY  - 2013
UR  - https://arxiv.org/abs/1303.5503
ID  - 1303.5503
ER  -