×

在python、C++和C中实现精确的实数运算。 (英语) 兹比尔1086.68025

小结:我讨论了Boehm等人提出的标度整数精确实数算法模型的高效实现中出现的设计和性能问题。该系统表示一个实数,其精度由具有隐式分母的有理数自动控制。我用python、C++和C语言描述了三个实用代码。这些代码允许在常用命令式语言中方便地使用这种计算范式。

MSC公司:

68甲15 编程语言理论

关键词:

精确实数运算
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] P.Andersson,计算机代数系统中带自动估计的精确实际计算机算法,乌普萨拉大学数学系,U.U.D.M.报告2001:P52001;P.Andersson,计算机代数系统中带自动估计的精确实际计算机算法,乌普萨拉大学数学系,U.U.D.M.报告2001:P52001
[2] H.-J.Boehm,R.Cartwright,M.Riggle,M.O'Donnell,《精确实数算法:高阶编程中的案例研究》,载于:ACM Symp。关于Lisp和函数编程,1986年,第162-173页,(\\60;>\);H.-J.Boehm,R.Cartwright,M.Riggle,M.O'Donnell,《精确实数算法:高阶编程中的案例研究》,载于:ACM Symp。关于Lisp和函数编程,1986年,第162-173页
[3] A.J.Brentjes,多维连分式算法,数学中心域,第145卷,阿姆斯特丹数学中心,1981年,MR 83b:10038。;A.J.Brentjes,多维连分式算法,数学中心域,第145卷,阿姆斯特丹数学中心,1981年,MR 83b:10038·Zbl 0471.10024号
[4] K.M.Briggs,XR主页,\(\<>\);K.M.Briggs,XR主页,\(\<>\)
[5] K.M.Briggs,xrc主页,\(\<>\);K.M.Briggs,xrc主页,\(\<>\)
[6] H.Cohen,计算代数数论课程,数学研究生教材,第138卷,施普林格,柏林,1993年。;H.Cohen,《计算代数数论课程》,《数学研究生教材》,第138卷,施普林格,柏林,1993年·Zbl 0786.11071号
[7] M.Escardó,精确数值计算简介,网址:http://www.cs.bham.ac.uk/\(\sim;>\);M.Escardó,精确数值计算简介,网址:http://www.cs.bham.ac.uk/\(\sim;>\)
[8] J.-C.Filliátre,CREAL,(\<\sim;>\);J.-C.Filliátre,CREAL,\(\<\sim;>\)
[9] W.Gosper,连分数,\(\<>\);W.Gosper,续分数,\(\&\#60;>\)
[10] T.Granlund,GNU MP主页,\(\<>\);T.Granlund,GNU MP主页,\(\<>\)
[11] J.Harrison,实数定理证明,剑桥大学计算机实验室博士论文,1998年。;J.Harrison,《实数定理证明》,剑桥大学计算机实验室博士论文,1998年·Zbl 0932.68099号
[12] D.莱斯特,\(\<>\);D.莱斯特
[13] 利亚代特,P。;Stambul,P.,连续分数代数计算,数论,7392-121(1998)·Zbl 0929.11066号
[14] B.McNamara,Y.Smaragdakis,《函数编程》(C++\<>\);B.McNamara,Y.Smaragdakis,《函数编程》(C++\<>\)
[15] B.McNamara,Y.Smaragdakis,Fc\(++\<\sim;>\);B.McNamara,Y.Smaragdakis,Fc\(++\<\sim;>\)
[16] V.Ménissier-Morain,《精确算术:概念、算法与性能》,巴黎第七大学博士论文,(\<\sim;>\);V.Ménissier-Morain,《精确算术:概念、算法与性能》,巴黎第七大学博士论文
[17] N.Müller,在\(C++\<>\)中的iRRAM-exact算法;N.Müller,\(C++\<>\)中的iRRAM-exact算法
[18] P.Potts,《使用莫比乌斯变换的精确实数算法》,伦敦大学帝国理工学院计算系博士论文,另见\(\<\sim;>\);P.Potts,《使用莫比乌斯变换的精确实数算法》,伦敦大学帝国理工学院计算系博士论文,另见\(\<\sim;>\)
[19] V.Shoup,NTL:做数论的图书馆,第5.3.1版,(\\60;>\);V.Shoup,NTL:做数论的图书馆,5.3.1版
[20] G.van Rossum,Python语言网站,\(\<>\);G.van Rossum,Python语言网站
[21] Vuillemin,J.,《带连分式的精确实计算机算术》,IEEE Trans。计算。,39, 1087-1105 (1990)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。