Symbolic-numeric algorithms for computing validated results.

Lihong Zhi

Browse the full ISSAC paper archive.