Numerical optimization in hybrid symbolic-numeric computation.

Lihong Zhi

Browse the full ISSAC paper archive.