摘要
By restricting Buchberger's procedure so as to match practical ones and extending the structure of subresultant considerably, we develop a subresultant-like theory for Buchberger's procedure of Grobner basis computation. As an application of the theory, we clarify the mechanism of main-term cancellation which is the main origin of instability of the computation of Grobner bases with floating-point numbers.
- 出版日期2014