Zhihai Zhang Tian Fang Bican Xia Real Solution Isolation with Multiplicity of Zero-Dimensional Triangular Systems http://arxiv.org/abs/0906.3065 2009 CoRR abs/0906.3065 db/journals/corr/corr0906.html#abs-0906-3065 informal publication