TY  - RPRT
TI  - logcf: An Efficient Tool for Real Root Isolation
AU  - Liyun Dai
AU  - Bican Xia
PY  - 2012
UR  - https://arxiv.org/abs/1209.3555
ID  - 1209.3555
ER  -