Experiments and codes for
@Misc{YangZhiZhu2013,
author = "Zhengfeng Yang, Lihong Zhi and Yijun Zhu",
title = "Verified Error Bounds for Real Solutions of Positive-dimensional Polynomial Systems",
conference = {Accepted by ISSAC 2013},
}