Tetsuo Ida, Mircea Marin, Taro Suzuki. Reducing Search Space in Solving Higher-Order Equations. In Setsuo Arikawa, Ayumi Shinohara, editors, Progress in Discovery Science, Final Report of the Japanese Discovery Science Project. Volume 2281 of Lecture Notes in Computer Science, pages 19-30, Springer, 2002. [doi]
Abstract is missing.