xPerm(xPerm) swMATH ID: 1153 软件作者: 何塞·马丁·加西亚 描述: xPerm:张量计算机代数的快速索引规范化。我们提出了一个关于置换对称性的索引规范化的Butler-Portugal算法的快速实现。它被称为xPerm,是Mathematica包和C子例程的组合。后者执行最苛刻的计算部分,可以与任何其他程序或计算机代数系统连接。我们通过测试和计时证明了Butler-Portugal算法在指数数量方面的有效多项式性能,尽管我们也证明了它是指数的情况。我们的实现在百分之一秒内处理几十个索引或几秒钟内处理一百个索引的通用张量表达式,明显优于所有其他当前规范化器。该代码已经接受了几年的严格测试,并且在最近的大规模张量计算机代数研究中至关重要 主页: http://cpc.cs.qub.ac.uk/summaries/AEBH_v1_0.html 编程语言: C和Mathematica(5.0或更高版本)。 操作系统: Linux、Unix、Windows XP、MacOS。 关键词: 索引规范化;数学软件;计算机代数。 相关软件: x行动;xTras公司;因瓦;x珀特;x张量;数学软件;卡达布拉;xP面板;旋量;枫树;x核心;数学张量;FeynCalc公司;费恩格拉夫;RGTC公司;Tensorial公司;类别;NP公司;FeynMG公司;DLMF公司 引用于: 37文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 xPerm:张量计算机代数的快速索引规范化。 Zbl 1197.15002号何塞·M·马丁·加西亚。 2008 全部的 前5名47位作者引用 6 阿方索·加西亚·帕拉多·戈梅斯·洛博 4 本杰明·克诺尔 4 马蒂亚斯·魏森巴赫 三 何塞·M·马丁·加西亚。 三 克里斯·里普肯 三 Frank Sauerssig,弗兰克·绍雷西格 2 佩德罗·卡里略 2 托马斯·W·格林。 2 卡里姆·马利克(Karim A.Malik)。 2 基里安·迈耶 2 卡提克·帕布 2 易卜拉欣·谢扎德 1 萨贾德·阿加普尔 1 Leo C.Brewin。 1 西兰花、马提奥 1 约书亚·W·伯比。 1 爱德华多·塞尔纳·坎皮略 1 Cuchí,J.E。 1 德雷珀,汤姆 1 埃德加·S·布莱恩 1 雷娜塔·费雷罗 1 吉尔·里韦罗,A。 1 迈赫迪·戈尔沙尼 1 约翰内斯·哈顿 1 加迪尔·贾法里 1 伊戈尔·卡夫金 1 克里斯托瓦尔·拉波特 1 汉普斯州利南德 1 凯瑟琳·默斯伯格 1 埃托雷·明古齐 1 古斯塔夫·莫戈尔 1 阿尔弗雷德·莫利纳 1 本特·E·W·尼尔森。 1 Nutma和Teake A。 1 安托尼奥·杜阿尔特·佩雷拉 1 简·克里斯托夫·普莱夫卡 1 爱德华多·鲁伊斯 1 阿古斯汀·萨比奥·维拉 1 格哈德·施费尔 1 托尔斯滕·施恩费尔德 1 JoséM.M.塞诺维拉。 1 约翰·斯奎尔。 1 斯坦霍夫,简 1 曼纽尔·泰斯梅尔 1 瓦兹奎兹·莫佐(Vázquez-Mozo),米盖尔·安吉尔(Miguel Angel) 1 阿弥陀佛维尔马尼 1 王健 全部的 前5名10篇连载文章中引用 13 高能物理杂志 8 经典引力和量子引力 6 计算机物理通信 三 广义相对论与引力 2 宇宙论与天体粒子物理学杂志 1 数学物理中的通信 1 数学物理杂志 1 《物理快报》。B类 1 数学物理报告 1 《物理年鉴》。第8系列 全部的 前5名17个领域引用 27 相对论和引力理论(83-XX) 17 量子理论(81-XX) 10 微分几何(53至XX) 6 代数几何(14-XX) 4 整体分析,流形分析(58至XX) 三 偏微分方程(35-XX) 2 线性代数和多线性代数;矩阵理论(15-XX) 2 几个复变量和分析空间(32-XX) 2 变分法与最优控制;最优化(49至XX) 2 天文学和天体物理学(85-XX) 1 结合环与代数(16-XX) 1 非结合环与代数(17-XX) 1 拓扑群、李群(22日至XX日) 1 算子理论(47-XX) 1 数值分析(65-XX) 1 计算机科学(68至XX) 1 粒子和系统力学(70-XX) 按年份列出的引文