×

通过讨价还价优化代码生成。 (英语) Zbl 1216.68018号

摘要:本文介绍了Haggies,一个用于生成优化程序的程序,用于对数学表达式进行有效的数值计算。它使用多元Horner模式和公共子表达式消除来减少操作的总数。
该软件包可以作为任何通用计算机代数程序的后端。内置类型推断允许处理强类型语言中的非标准数据类型,以及非常灵活的基于模式的输出规范,确保Haggies可以为多种编程语言生成代码。
目前,我们使用哈吉斯作为量子场论中计算单圈散射振幅的自动软件包的一部分。然而,本文中的示例表明,它的使用并不局限于高能物理领域。

MSC公司:

68-04 计算机科学相关问题的软件、源代码等
65-04 与数值分析有关的问题的软件、源代码等
81-04 量子理论相关问题的软件、源代码等
68N99型 软件理论
68瓦30 符号计算和代数计算
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Bern,Z.(2008)
[2] 伯杰·C.F.(2008)
[3] 比诺,T。;吉列特,J.P。;Heinrich,G。;Pilon,E。;Reiter,T.,Golem95:一个计算最多六个外部支腿的单圈张量积分的数值程序,Compute。物理学。社区。,180, 2317 (2009) ·Zbl 1197.81004号
[4] Bredenstein,A。;A.丹尼。;迪特迈尔,S。;Pozzorini,S.(2008)
[5] Diakonidis,T。;弗莱舍,J。;Riemann,T。;陶斯克,J.B.(2009)
[6] 藤本,J。;Kurihara,Y.,编号。物理学。程序。补遗,183,143(2008)
[7] 吉勒,W.T。;Zanderighi,G.,JHEP,0806,038(2008)
[8] Hahn,T.,计算。物理学。社区。,140, 418 (2001)
[9] 哈恩,T。;劳赫,M.,Nucl。物理学。程序。补遗,157,236(2006)
[10] Lazopoulos,A.(2008)
[11] Reiter,T.(2009)
[12] van Hameren,A。;帕帕佐普洛斯,C.G。;Pittau,R.(2009)
[13] van Hameren,A.(2009)
[14] 温特,J.-C。;Giele,W.T.(2009)
[15] Binoth,T.(2009)
[16] 卡塔尼,S。;西摩,M.H.,Nucl。物理学。B、 485291(1997)
[17] Gleisberg,T。;克劳斯,F.,《欧洲物理学》。J.C,53,501(2008)
[18] 西摩,M.H。;Tevlin,C.(2008)
[19] 长谷川,K。;莫赫,S。;Uwer,P.,编号。物理学。程序。补遗,183,268(2008)
[20] 弗雷德里克斯,R。;Gehrmann,T。;Greiner,N.(2008)
[21] Czakon,M。;帕帕佐普洛斯,C.G。;Worek,M.(2009年)
[22] Aho,A.V。;Sethi,R。;Ullman,J.D.,《编辑者》。《原理、技术和工具》(1986),艾迪森·卫斯理:艾迪森·卫斯理·雷丁,马萨诸塞州
[23] Vermaseren,J.A.M.(2000)
[24] Vermaseren,J.A.M。;Tentyukov,M.,编号。物理学。程序。补遗,160,38(2006)
[25] Ceberio,M。;Kreinovich,V.,ACM,38,8(2004)
[26] Knuth,D.E.,《计算机编程的艺术:基本算法》,《计算机程序设计的艺术》,第1卷(1997年),Addison-Wesley:Addison-Whesley Reading,马萨诸塞州·兹比尔0191.17903
[27] 戈帕拉克里希南,S。;Kalla,P.,程序。欧洲设计、自动化和测试部(2009年9月),1452年
[28] Chaitin,G.J.,《计算机语言》,6,47(1981)
[29] 波莱托,M。;Sarkar,V.,《ACM编程语言和系统汇刊》,21895(1999)
[31] Cash,J.R。;卡普,A.H.,ACM Trans。数学。软件,16201(1990)
[32] Bogacki,P。;Shampine,L.F.,《应用数学快报》,2321(1989)
[33] Dormand,J.R。;Prince,P.J.,《计算与应用数学杂志》,6,19(1980)·Zbl 0448.65045号
[34] Fehlberg,E.,《计算》,第6、61页(1970年)
[36] 比诺,T。;吉列特,J.P。;Heinrich,G。;Pilon,E。;舒伯特(2005)
[37] 奥索拉,G。;帕帕佐普洛斯,C.G。;皮托,R.,Nucl。物理学。B、 763147(2007)
[38] 奥索拉,G。;帕帕佐普洛斯,C.G。;Pittau,R.,JHEP,0803,042(2008)
[39] 达贡,L。;Menon,R.,IEEE计算。科学。工程师,5,46(1998)
[40] Hentenryck,P.v。;McAllester,D。;Kapur,D.,SIAM数值分析杂志,34(1997)
[41] 莫雷,J。;Garbow,B。;Hillstrom,K.,ACM Trans.公司。数学。软件,7136(1981)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。