@inproceedings{3f6b746993de412bb6823d478467acdf,
title = "Complete numerical isolation of real zeros in zero-dimensional triangular systems",
abstract = "We present a complete numerical algorithm of isolating all the real zeros of a zero-dimensional triangular polynomial system Fn Z[x1, . . . , xn]. Our system Fn is general, with no further assumptions. In particular, our algorithm successfully treat multiple zeros directly in such systems. A key idea is to introduce evaluation bounds and sleeve bounds. We implemented our algorithm and promising experimental results are shown.",
keywords = "Evaluation bound, Real zero isolation, Sleeve bound, Triangular system",
author = "Cheng, {Jin San} and Gao, {Xiao Shan} and Yap, {Chee Keng}",
year = "2007",
doi = "10.1145/1277548.1277562",
language = "English (US)",
isbn = "1595937439",
series = "Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC",
pages = "92--99",
booktitle = "ISSAC 2007 - Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation",
note = "ISSAC 2007 - 2007 International Symposium on Symbolic and Algebraic Computation ; Conference date: 29-07-2007 Through 01-08-2007",
}