绵羊

Sheep是一个用于处理张量分量计算的计算机代数系统。它的主要用途是在广义相对论中,但也被用于固体和流体力学。它是基于20世纪60年代末R.A.d'Inverno编写的Lisp代数操纵器LAM(绵羊的名字是从这里来的)。《绵羊》主要是由斯德哥尔摩的英格·弗里克(Inge Frick)撰写的(此前,与d'Inverno在伦敦共事的伊恩·科恩(Ian Cohen)将有关林姆的资料带到瑞典),第一个版本于1977年公布。这个版本是用汇编语言MACRO-10为DEC-10计算机编写的。


zbMATH中的参考文献(参考文献38条,1标准件)

显示结果1到20,共38个。
按年份排序(引用)
  1. MacCallum,M.A.H.:完全对称化旋量和零旋转不变性(2020)
  2. 哈弗,P.A。;Carminati,J.:广义相对论中协变证明的阐释:在MAPLE的无剪切猜想中使用代数软件的例子(2018)
  3. Lozanovski,C.:非Weyl保留复杂变换的一个例子(2014)
  4. 皮特尔斯,卡斯珀:卡达布拉:场理论驱动的符号计算机代数系统(2007)
  5. d'Inverno,R.A.:计算机代数:从可见到无形(2006)
  6. Karlhede,Anders:等价问题(2006)
  7. 康科夫斯基,哥伦比亚特区。;Helliwell,T.M.:埋藏宝藏的采矿指标(2006)
  8. d'Inverno,Ray A.:绵羊在广义相对论中的应用(1998)
  9. 葡萄牙,R.:简化张量表达式的算法(1998)
  10. 桑托索索,凯文;波尼,丹尼斯;伯拉瓦,尼哥斯;马斯格雷夫,彼得;Lake,Kayl:(B)类翘曲积时空的黎曼张量不变量(1998)
  11. 卡维安、马苏德;麦克莱纳汉,R.G。;Geddes,K.O.:Maple张量:用计算机进行指示性和分量张量计算的新系统(1997)
  12. 葡萄牙,R。;索特,S.L.:枫叶在广义相对论中的应用(1997)
  13. 丰塞卡·内托,乔尔·B。;雷布卡姆。;麦克卡勒姆,M.A.H.:引力扭转理论中的代数计算。(1996年)ioport公司
  14. 丰塞卡·内托,乔尔·B。;雷布亚斯,M.J。;麦克卡勒姆,M.A.H.:引力扭转理论中的代数计算。(1996年)
  15. 霍尔,G.S.(编辑);普勒姆,J.R.(编辑):广义相对论。第46届苏格兰大学物理暑期学校会刊,阿伯丁(GB),1995年7月(1996年)
  16. 卡维安、马苏德;麦克莱纳汉,R.G。;Geddes,K.O.:MapleTensor:关于使用符号计算进行指示性和分量张量计算的新系统的进度报告(1996年)
  17. 艾伦,S。;费用,G.J。;卡丘拉,A.T。;Letniowski,F.W。;McLenaghan,R.G.:NP自旋系数和曲率分量符号计算算法的比较(1994)
  18. 麦克卡伦,医学硕士。;《绵羊:广义相对论的计算机代数系统》(1994)
  19. 奥利维拉,W。;雷布亚斯,M.J。;Teixeira,A.F.F.:罗伯逊-沃克空间时报中麦克斯韦场的拓扑约束(1994)
  20. 布拉德利,迈克尔;安娜·库里:比安奇II背景下真实单极孤子扰动的曲率特性(1993)