Tensor computations in computer algebra systems

被引：0
|
作者：
A. V. Korol’kova
D. S. Kulyabov
L. A. Sevast’yanov
机构：
[1] Peoples’ Friendship University of Russia,
来源：
Programming and Computer Software | 2013年 / 39卷
关键词：
Young Diagram; Bianchi Identity; Clifford Algebra; Computer Algebra System; Riemann Tensor;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
This paper considers three types of tensor computations. On their basis, we attempt to formulate criteria that must be satisfied by a computer algebra system dealing with tensors. We briefly overview the current state of tensor computations in different computer algebra systems. The tensor computations are illustrated with appropriate examples implemented in specific systems: Cadabra and Maxima.
引用
收藏
页码：135 / 142
页数：7
相关论文
共 50 条
  • [41] The merging of physical chemistry and computer algebra systems
    Madura, JD
    Metiu, H
    ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2005, 230 : U1275 - U1275
  • [42] Integration of automated reasoning and computer algebra systems
    Caprotti, O
    Sorge, V
    JOURNAL OF SYMBOLIC COMPUTATION, 2005, 39 (05) : 501 - 502
  • [43] INTEGRATION OF COMPUTER ALGEBRA SYSTEMS AND INTERVAL COMPUTATION
    GLAZUNOV, NM
    PROGRAMMING AND COMPUTER SOFTWARE, 1992, 18 (05) : 222 - 226
  • [44] The meaning of infinity in calculus and computer algebra systems
    Beeson, M
    Wiedijk, F
    JOURNAL OF SYMBOLIC COMPUTATION, 2005, 39 (05) : 523 - 538
  • [45] Type theory, computer algebra & dynamical systems
    Flegontov, AV
    Soloviev, SV
    2003 INTERNATIONAL CONFERENCE PHYSICS AND CONTROL, VOLS 1-4, PROCEEDINGS: VOL 1: PHYSICS AND CONTROL: GENERAL PROBLEMS AND APPLICATIONS; VOL 2: CONTROL OF OSCILLATIONS AND CHAOS; VOL 3: CONTROL OF MICROWORLD PROCESSES. NANO- AND FEMTOTECHNOLOGIES; VOL 4: NONLINEAR DYNAMICS AND CONTROL, 2003, : 85 - 87
  • [46] Using computer algebra systems as cognitive tools
    Büdenbender, J
    Frischauf, A
    Goguadze, G
    Melis, E
    Libbrecht, P
    Ullrich, C
    INTELLIGENT TUTORING SYSTEMS, 2002, 2363 : 802 - 810
  • [47] A survey of user interfaces for Computer Algebra systems
    Kajler, N
    Soiffer, N
    JOURNAL OF SYMBOLIC COMPUTATION, 1998, 25 (02) : 127 - 159
  • [48] PASCAL AS HOST LANGUAGE OF COMPUTER ALGEBRA SYSTEMS
    CALMET, J
    DISCALA, RM
    SIGPLAN NOTICES, 1983, 18 (07): : 15 - 24
  • [49] COMPUTER ALGEBRA MULTIPLIES IN MATHEMATICAL SOFTWARE SYSTEMS
    STUDT, T
    R&D MAGAZINE, 1994, 36 (11): : 75 - 76
  • [50] Regularity of Functional Equations and Computer Algebra Systems
    Czirbusz, Sandor
    2016 7TH IEEE INTERNATIONAL CONFERENCE ON COGNITIVE INFOCOMMUNICATIONS (COGINFOCOM), 2016, : 497 - 502
12345