Verified error bounds for real solutions of positive-dimensional polynomial systems.

Zhengfeng Yang, Lihong Zhi, Yijun Zhu

Browse the full ISSAC paper archive.