OBTAINING EXACT INTERPOLATION MULTIVARIATE POLYNOMIAL BY APPROXIMATION  

作　　者：Yong FENG Xiaolin QIN Jingzhong ZHANG Xun YUAN 

机构地区：[1]Laboratory of Computer Reasoning and Trustworthy Computation, University of Electronic b'cience and 'l~ech-nology of China, Chengdu 611731, China. [2]Laboratory for Automated Reasoning and Programming, Chengdu Institute of Computer Applications, ChineseAcademy of Sciences, Chengdu 610041, China Graduate University of Chinese Academy of Sciences, Beijing100049, China. [3]Laborutory of Computer Reasoning and 7Yustworthy Computation, University of Electronic Science and Tech-nology of China, Chengdu 611731, China. [4]Laboratory for Automated Reasoning and Programming, Chengdu Institute of Computer Applications, ChineseAcademy of Sciences, Chengdu 610041, China.

出　　处：《Journal of Systems Science & Complexity》2011年第4期803-815,共13页系统科学与复杂性学报（英文版）

基　　金：supported by China 973 Frogram 2011CB302402;the Knowledge Innovation Program of the Chinese Academy of Sciences(KJCX2-YW-S02);the National Natural Science Foundation of China(10771205);the West Light Foundation of the Chinese Academy of Sciences

摘　　要：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.

关 键 词：Continued fraction multivariate interpolation numerical approximate computation symbolic-numerical computation Vandermonde determinant. 

分 类 号：O241.3[理学—计算数学] O174.14[理学—数学]