Approximate algebraic computation: practice and problems. - Tateaki Sasaki; Kousuke Shihara; Akira Terui; Yuichi Ozaki; Fujio Kako (SIGSAM Bull., 1997)