×
皮特斯、卡斯珀

Cadabra：一个基于场理论的符号计算机代数系统。 （英语） 兹比尔1196.68333

计算。物理。Commun公司。 176，第8号，550-558（2007）.
小结：场论是物理学中的一个领域，其符号看似紧凑。虽然通用计算机代数系统是围绕基于通用列表的数据结构构建的，可用于表示和操作字段理论表达式，但这通常会导致繁琐的输入格式、意外的副作用或需要大量专用代码。这使得将问题从纸上直接转换到计算机上，再转换到不必要的计算机上既耗时又容易出错。提出了一个原型计算机代数系统，该系统具有输入、图形数据结构、具有Young-tableaux对称性的列表和多重遗传属性系统。该方法的有用性通过一些明确的现场理论问题进行了说明。

引用于94文件

MSC公司：

68瓦30 符号计算和代数计算
81-08 量子理论相关问题的计算方法

关键词：

卡达布拉；场论；计算机代数

软件：

TeXmacs公司；卡达布拉；EinS公司；绵羊；里杰姆；数学张量；ATENSOR公司；表格；STL公司
PDF格式BibTeX公司 XML格式引用
\textit{K.Peeters}，计算。物理。Commun公司。176，第8号，550--558（2007；Zbl 1196.68333）
全文： 内政部 arXiv公司 链接

参考文献：

[1] R·J·法特曼。；Caspi，E.，解析为数学，SIGSAM公告（ACM符号和代数操作特别兴趣小组），33，3，26（1999）
[2] J.Martin-Garcia、xPerm和xAct，http://metric.iem.csic.es/Martin-Garcia/xAct/index.html; J.Martin-Garcia、xPerm和xAct，http://metric.iem.csic.es/Martin-Garcia/xAct/index.html
[3] A.Balfagón，P.Castellví，X.Jaén，张量微积分工具，http://baldufa.upc.es/xjaen/ttc/; A.Balfagón，P.Castellví，X.Jaén，张量微积分工具，http://baldufa.upc.es/xjaen/ttc/
[4] Klioner，S.A.，EinS:使用索引对象进行计算的Mathematica软件包·Zbl 1032.68999号
[5] 帕克，L。；Christensen，S.M.，《数学张量：用计算机进行张量分析的系统》（1994），Addison-Wesley
[6] Vermaseren，J.A.M.，《FORM的新特征》·Zbl 1344.65050号
[7] K.Peeters，Cadabra:教程和参考指南，2006年，http://www.aei.mpg.de/peekas/cadabra/；K.Peeters，Cadabra:教程和参考指南，2006年，http://www.aei.mpg.de/peekas/地籍/
[8] J.van der Hoeven，GNU TeXmacs:A free，structured，WYSIWYG and technical text editor，in：D.Flipo（编辑），Actes du conrès GUTenberg，Le document au XXI-ième siècle，vol.39-40，Metz，2001年5月14日至17日，第39-50页，网址：http://www.texmacs.org; J.van der Hoeven，《GNU TeXmacs:A free，structured，WYSIWYG and technical text editor》，载于：D.Flipo（编辑），《GUTenberg杂志》，Le document au XXI-ième siècle，第39-40卷，Metz，2001年5月14日至17日，第39-50页，网址：http://www.texmacs.org
[9] K.Peeters，Tree.hh，2006年，http://www.aei.mpg.de/peekas/tree/；K.Peeters，Tree.hh，2006年，http://www.aei.mpg.de/peekas/树/
[10] 穆瑟，D.R。；Saini，A.，《STL教程和参考指南》，《使用标准模板库进行C++编程》（1996），Addison-Wesley
[11] M.A.H.MacCallum，J.E.F.Skea，SHEEP：广义相对论的计算机代数系统，载：M.J.Rebouças，W.L.Roque（编辑），《广义相对论中的代数计算》，牛津，1994年，第1-172页；M.A.H.MacCallum，J.E.F.Skea，《SHEEP：广义相对论的计算机代数系统》，载于：M.J.Rebouças，W.L.Roque（编辑），《广义相对论中的代数计算》，牛津，1994年，第1-172页·Zbl 0829.53057号
[12] Portugal，R.，张量表达式的算法简化，J.Phys。A、 327779-7789（1999）·Zbl 0963.53005号
[13] A.Dresse，计算机代数中的多项式泊松结构和虚拟变量，博士论文，布鲁塞尔自由大学，1993年；A.Dresse，计算机代数中的多项式泊松结构和虚拟变量，博士论文，布鲁塞尔自由大学，1993年
[14] 伊利因，V.A。；Kryukov，A.P.，张量简化的ATENSOR-REDUCE程序，计算。物理。Comm.，96，36-52（1996）·Zbl 0921.65035号
[15] Hornfeldt，L.，《自动生成张量算法和指数张量演算的系统，包括和的替换》（Ng，《EUROSAM学报》79。EUROSAM 79会议录，计算机科学讲义，第72卷（1979），Springer），279-290·Zbl 0416.53001号
[16] A.Cohen，M.van Leeuwen，B.Lisser，LiE诉2.2，1998年，http://wwwmathlabo.univ-poitiers.fr/maavl/LiE/；A.Cohen、M.van Leeuwen、B.Lisser、LiE v.2.2，1998年，http://wwwmathlabo.univ-poitiers.fr/maavl/LiE公司/
[17] 格林，M.B。；Peeters，K。；Stahn，C.，《高维超场积分》，JHEP，0508，093（2005）
[18] T.Weiberl，G.H.Gonnet，《属性代数》，载于《ISSAC-91会议论文集》，波恩，1991年，第352-359页；T.Weiberl，G.H.Gonnet，《属性代数》，载于《ISSAC-91会议论文集》，波恩，1991年，第352-359页·Zbl 0925.68232号
[19] Daly，T.，《公理》，第1卷：教程（2005），露露出版社
[20] Portugal，R.，简化张量表达式的算法，计算。物理。通信，115215-230（1998）·Zbl 1009.53013号
[21] R.葡萄牙，佳能套餐，http://www.cbpfbr/葡萄牙/Canon.html；R.葡萄牙，佳能套餐，http://www.cbpfbr/葡萄牙/Canon.html
[22] 富林，S.A。；R.C.金。；怀伯恩，B.G。；康明斯，C.J.，张量多项式的正规形式。1：黎曼张量，类。数量。重力。，9, 1151 (1992) ·Zbl 0991.53517号
[23] Peeters，K.，《介绍Cadabra：用于场理论问题的符号计算机代数系统》·兹比尔1196.68333
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。