×
J·斯奎尔。;J·伯比。;秦，H。

背心：中的抽象向量演算简化数学软件. （英语） Zbl 1344.15001号

计算。物理学。Commun公司。 185，第128-135号（2014年）.
总结：我们提出了一个新的方案，背心（矢量爱因斯坦求和工具），在数学软件.通过使用索引符号，背心能够将非常一般类型的三维标量和向量表达式简化为定义良好的标准形式。此外，利用Levi-Civita符号的特性，该程序可以导出未经简化识别的多项向量恒等式类型，然后应用这些恒等式简化大型表达式。在一篇配套论文中[作者，“引导中心扩展的自动化”，Phys.Plasmas 20，文章ID 072105，34 p.（2013；数字对象标识代码：10.1063/1.4813247)]，我们雇佣背心在等离子体物理中单粒子引导中心系统的高阶拉格朗日计算的自动化中，这一计算说明了它处理非常大的表达式的能力。背心设计简单直观，可用于基本的工作检查和更复杂的计算。

引用于2文件

MSC公司：

15-04 线性代数相关问题的软件、源代码等

关键词：

向量演算;计算机代数;张量;数学软件

软件：

通用矢量分析;Tensorial公司;数学GR;背心;ORTHOVEC公司;T连续力学;枫树;x张量;因瓦;卡达布拉;xPerm（xPerm）;背心;数学张量;数学软件;x行动
PDF格式BibTeX公司 XML格式引用
\textit{J.Squire}等人，《计算》。物理学。Commun公司。185，第1号，128--135（2014；Zbl 1344.15001）
全文： DOI程序 arXiv公司

参考文献：

[1] Mathematica，9.0版（2012），Wolfram Research Inc.：Wolfram Research Inc.，伊利诺伊州香槟市
[2] Eastwood，J.W.，ORTHOVEC：正交曲线坐标系中三维矢量分析的REDUCE程序版本2，计算机物理通信，64，1，121-122（1991）
[3] Yasskin，P.B。；Belmonte，A.，CalcLabs With Maple Commands for Multivariable Calculus（2010），Brooks/Cole，Cengage Learning:Brooks/科尔，Cengge Learning Belmont，CA
[5] Wirth，M.C.，符号向量和并元分析，SIAM计算杂志，8，3，306（1979）·Zbl 0434.68026号
[6] Liang，S。；Jeffrey，D.J.，向量积空间中基于规则的简化，（走向机械化数学助理。走向机械化的数学助理，人工智能课堂讲稿（2007）），116-127·Zbl 1202.68493号
[7] 秦，H。；唐·W。；Rewoldt，G.，等离子体物理中的符号向量分析，计算机物理通信，116107-120（1999）·Zbl 1074.76650号
[9] Cary，J.R.，哈密顿系统的李变换微扰理论，《物理报告》，79，2，129-159（1981）
[10] 卡里，J.R。；Brizard，A.J.，《引导中心运动的哈密顿理论》，《现代物理学评论》，第81、2、693-738页（2009年）·Zbl 1205.37068号
[11] Littlejohn，R.G.，《引导中心运动的变分原理》，《等离子体物理杂志》，29,1111（1983）
[12] 伯比，J.W。；Squire，J。；秦浩，《引导中心扩建自动化》，《等离子体物理》，2013年第20期，第7期，第2105页
[14] MacCallum，M.A.H.，广义相对论中的计算机代数，国际现代物理杂志A，17，20，2707-2710（2002）
[15] Wang，Y.，MathGR：保持简单的张量和GR计算包
[16] 帕克，L。；Christensen，S.，《MathTensor:用计算机进行张量分析的系统》（1994），Addison-Wesley：Addison-Whesley Reading，MA
[17] Peeters，K.，Cadabra:一个基于场理论的符号计算机代数系统，《计算机物理通信》，176，8，550-558（2007）·Zbl 1196.68333号
[20] Stoutemyer，D.，符号计算机矢量分析，计算机和数学及其应用，5，1-9（1979）·Zbl 0399.76001号
[21] Martín-García，J.M.，xPerm:张量计算机代数的快速索引规范化，计算机物理通信，179，8，597-603（2008）·Zbl 1197.15002号
[22] Manssur，L.R.U。；葡萄牙，R。；Svaiter，B.，符号张量操作的群理论方法，国际现代物理杂志C，13，07，859-879（2002）·Zbl 1086.65515号
[23] 坎宁安（Cunningham，J.），向量（Vectors）（1969年），海涅曼教育图书有限公司：海涅曼（Heinemann）教育图书有限责任公司，伦敦·Zbl 0174.53001号
[24] Patterson，E.，《解决向量代数中的问题》（1968），奥利弗和博伊德有限公司：奥利弗与博伊德公司，伦敦爱丁堡·Zbl 0187.42601号
[25] Wimmel，H.K.，《扩展标准向量分析在等离子体物理中的应用》，《欧洲物理杂志》，3，4，223（1982）
[26] Littlejohn，R.G.，《几何学和引导中心运动》，当代数学，28151（1984）·Zbl 0543.58016号
[27] Lovelock，D.，维度相关恒等式，剑桥哲学学会数学论文集，68，2345（1970）·Zbl 0197.48301号
[28] 埃德加，S.B。；Hoglund，A.，通过双重反对称化得到的与维数相关的张量恒等式，《数学物理杂志》，43，1，659-677（2002）·Zbl 1052.53022号
[29] 马丁·加西亚，J.M。；葡萄牙，R。；Manssur，L.，《因瓦张量包》，计算机物理通信，177，8，640-648（2007）·Zbl 1196.15006号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。