中文摘要：

在象数学机械化那样的一些地里，自动化了推理并且可靠计算，等等，准确结果被需要。符号的计算被用来获得准确结果。符号的计算复杂性高。以便改进状况，准确插入内推方法经常为近似的准确结果和近似插入内推方法被建议。在这份报纸，作者学习怎么由近似插入内推的方法与合理系数获得准确插值多项式。

英文摘要：

In some fields such as Mathematics Mechanization, automated reasoning and Trustworthy Computing, etc., exact results are needed. Symbolic computations are used to obtain the exact results. Symbolic computations are of high complexity. In order to improve the situation, exact interpolating methods are often proposed for the exact results and approximate interpolating methods for the ap- proximate ones. In this paper, the authors study how to obtain exact interpolation polynomial with rational coefficients by approximate interpolating methods.