І. Каширський, “Decision of numerical problems with symbolic methods”, RADAP, no. 40, pp. 121-130, Jan. 2010.