Obtaining exact interpolation multivariate polynomial by approximation |
| |
| Authors: | Yong Feng Xiaolin Qin Jingzhong Zhang Xun Yuan |
| |
| Institution: | 1.Laboratory of Computer Reasoning and Trustworthy Computation,University of Electronic Science and Technology of China,Chengdu,China;2.Laboratory for Automated Reasoning and Programming, Chengdu Institute of Computer Applications,Chinese Academy of Sciences,Chengdu,China;3.Graduate University of Chinese Academy of Sciences,Beijing,China;4.Laboratory of Computer Reasoning and Trustworthy Computation,University of Electronic Science and Technology of China,Chengdu,China;5.Laboratory for Automated Reasoning and Programming, Chengdu Institute of Computer Applications,Chinese Academy of Sciences,Chengdu,China |
| |
| Abstract: | 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 approximate ones. In this paper, the authors study how to obtain exact interpolation polynomial with rational coefficients
by approximate interpolating methods. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
