×
马克·莫里格；伊沃·Rössling；斯特凡·席拉

基于表达式dags的实数代数计算通用数字类型的设计与实现。 （英语） Zbl 1229.68084号

数学。计算。科学。 4，第4期，539-556（2010）.
摘要：我们报告了一个名为实代数（_A）。此数字类型允许我们计算算术表达式的符号，其中涉及运算\（+\）、\（-\）、\cdot\、\（/\）和\（{}\的根d\）。符号计算总是正确的，从这个意义上讲，不受舍入误差的影响。我们关注模块化，并使用通用编程技术使实现的关键部分可交换。因此，我们的设计允许使用不同的实现方式轻松地执行实验，或者从而为特定任务定制数字类型。对于计算几何中的许多问题，我们的数字类型的实例化实代数（_A）是一种用户友好的替代方案，用于实现精确的几何计算范式，以放弃数值稳健性问题。

引用于1文件

MSC公司：

68瓦30 符号计算和代数计算
65D99型 数值近似和计算几何（主要是算法）

关键词：

符号数值计算；精确几何计算；算法工程

软件：

促进；实代数；gmp公司；增强C++库；堆芯2；最大功率因数；CGAL公司；LEDA公司
PDF格式BibTeX公司 XML格式引用
\textit{M.Morrig}等人，《数学》。计算。科学。4，第4号，539--556（2010；Zbl 1229.68084）
全文： 内政部

参考文献：

[1] Alexandrescu A.：现代C++设计：应用的通用编程和设计模式。Addison-Wesley Longman Publishing Co.Inc.，波士顿（2001）
[2] 增强C++库。http://www.boost.org/
[3] Burnikel，C.，Fleischer，R.，Mehlhorn，K.，Schirra，S.：高效精确的几何计算变得容易。摘自：第15届ACM计算几何研讨会（SCG’99），第341-350页。ACM，纽约（1999）
[4] Burnikel C.，Funke S.，Mehlhorn K.，Schirra S.，Schmitt S.：实代数表达式的分离界。《算法》55（1），14-28（2009）·Zbl 1180.68304号 ·文件编号：10.1007/s00453-007-9132-4
[5] 计算几何算法库网址：http://www.cgal.org/ ·Zbl 1322.68279号
[6] Dekker T.J.：一种扩展可用精度的浮点技术。数字数学。18(2), 224–242 (1971) ·Zbl 0226.65034号 ·doi:10.1007/BF01397083
[7] Du，Z.：超越和代数计算的保证精度很容易实现。纽约大学数学科学学院博士论文，2006年5月
[8] Funke S.、Mehlhorn K.、Näher S.：结构过滤：高效精确几何程序的范例。计算。几何学31（3），179-194（2005）·Zbl 1078.65015号 ·doi:10.1016/j.comgeo.2004.12.007
[9] Gamma E.、Helm R.、Johnson R.、Vlissides J.：设计模式：可重用面向对象软件的元素。Addison-Wesley，雷丁（1995）·Zbl 0887.68013号
[10] GMP：GNU多精度算术库。网址：http://www.gmplib.org/
[11] Kahan W.：关于减少截断误差的进一步评论。Commun公司。ACM 8（1），40（1965）·doi:10.1145/363707.363723
[12] Karamcheti，V.，Li，C.，Pechtchanski，I.，Yap，C.：稳健数值和几何计算的核心库。摘自：第15届ACM计算几何研讨会（SCG’99），第351-359页。ACM，纽约（1999）
[13] Knuth D.E.：半数值算法。计算机编程艺术，第2卷，第3版。Addison-Wesley，雷丁（1997）
[14] LEDA：高效数据结构和算法库。http://www.algorithmic-solutions.com/ ·兹比尔0850.68170
[15] Li，C.，Yap，C.：代数表达式的新构造根界。收录于：SODA'01:第十二届ACM-SIAM离散算法年会论文集，第496-505页，美国宾夕法尼亚州费城。工业和应用数学学会（2001）·Zbl 0988.65037号
[16] Mörig，M.：通过存储浮点和来延迟dag构造，可以加快基于表达式dag的精确决策计算。摘自：第三届国际数学软件大会（ICMS 2010）。LNCS，第6327卷，第109-120页，2010年9月·Zbl 1295.65020号
[17] Mörig，M.，Schirra，S.：关于使用无错误转换和精确符号和算法的可靠几何谓词的设计和性能。在：第19届加拿大计算几何会议（CCCG'07），第45-48页，2007年8月
[18] MPFR：多精度浮点库。网址：http://www.mpfr.org/ ·Zbl 1365.65302号
[19] Muller，J.-M.，Brisebare，N.，de Dinechin，F.，Jeannerod，C.-P.，Lefèvre，V.，Melquiond，G.，Revol，N.、Stehlé，D.、Torres，S.：浮点算术手册。Birkhäuser Boston 2010年·Zbl 1197.65001号
[20] Ogita T.、Rump S.M.、Oishi S.：精确和和点积。SIAM J.科学。计算。26(6), 1955–1988 (2005) ·Zbl 1084.65041号 ·数字对象标识代码：10.1137/030601818
[21] Pion，S.，Yap，C.：k元有理输入数的构造根界。摘自：第19届ACM计算几何研讨会论文集，第256-263页。ACM出版社，圣地亚哥，2003年1月·Zbl 1140.68549号
[22] 实代数：用于精确几何计算的数字类型。http://www.isg.cs.uni-magdeburg.de/ag/RealAlgebraic/
[23] 希拉（Schirra），S.：《关于零的很多Ado》。In：高效算法。LNCS，第5760卷，第408-421页，2009年9月·Zbl 1258.68177号
[24] Shewchuk J.R.：自适应精确浮点算法和快速稳健的几何谓词。离散计算。地理。18(3), 305–363 (1997) ·Zbl 0892.68098号 ·doi:10.1007/PL00009321
[25] Shewchuk，J.R.：http://www.cs.cmu.edu/\（\sim\）地震/robust.html（1997）
[26] Yap C.：朝向精确的几何计算。计算。地理。理论应用。7(1-2), 3–23 (1997) ·Zbl 0869.68104号 ·doi:10.1016/0925-7721（95）00040-2
[27] Yap，C.-K.：稳健的几何计算。收录：Goodman，J.E.，O'Rourke，J.（编辑）《离散和计算几何手册》，第41章，第2版。，第927-952页。查普曼&amp；霍尔/CRC（2004年）
[28] Yu，J.，Yap，C.，Du，Z.，Pion，S.，Brönnimann，H.：核心2的设计：几何和代数中精确数值计算的库。摘自：第三届国际数学软件大会（ICMS 2010）。LNCS，第6327卷，2010年9月·Zbl 1295.65147号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。