Каширський, І. Decision of Numerical Problems With Symbolic Methods. RADAP 2010, 121-130.