ABSTRACT SPECIFICATION OF STRUCTURES AND METHODS IN SYMBOLIC MATHEMATICAL COMPUTATION

被引：3
|
作者：
LIMONGELLI, C
TEMPERINI, M
机构：
[1] UNIV ROME LA SAPIENZA,DIPARTIMENTO INFORMAT & SISTEMIST,I-00185 ROME,ITALY
[2] CNR,IASI,I-00185 ROME,ITALY
来源：
THEORETICAL COMPUTER SCIENCE | 1992年 / 104卷 / 01期
关键词：
D O I：
10.1016/0304-3975(92)90167-E
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper describes a methodology based on the object-oriented programming paradigm, to support the design and implementation of a symbolic computation system. The requirements of the system are related to the specification and treatment of mathematical structures. This treatment is considered from both the numerical and the symbolic points of view. The resulting programming system should be able to support the formal definition of mathematical data structures and methods at their highest level of abstraction, to perform computations on instances created from such definitions, and to handle abstract data structures through the manipulation of their logical properties. Particular consideration is given to the correctness aspects. Some examples of convenient application of the proposed design methodology are presented.
引用
收藏
页码：89 / 107
页数：19
相关论文
共 50 条
  • [21] Both non-symbolic and symbolic quantity processing are important for arithmetical computation but not for mathematical reasoning
    Zhang, Yiyun
    Chen, Chuansheng
    Liu, Hang
    Cui, Jiaxin
    Zhou, Xinlin
    [J]. JOURNAL OF COGNITIVE PSYCHOLOGY, 2016, 28 (07) : 807 - 824
  • [22] Analysis of Snapback Repellers Using Methods of Symbolic Computation
    Huang, Bo
    Niu, Wei
    [J]. INTERNATIONAL JOURNAL OF BIFURCATION AND CHAOS, 2019, 29 (04):
  • [23] TRANSFORMATION OF AERODYNAMIC STABILITY DERIVATIVES BY SYMBOLIC MATHEMATICAL COMPUTATION - PRELIMINARY REPORT
    HOWARD, JC
    [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (05): : A540 - A540
  • [24] Mathematical Geosciences: Hybrid Symbolic-Numeric Methods
    Geist, Eric L.
    [J]. PURE AND APPLIED GEOPHYSICS, 2020, 177 (07) : 3543 - 3544
  • [25] TOWARD A GENERAL-THEORY OF COMPUTATION AND SPECIFICATION OVER ABSTRACT-DATA-TYPES
    TUCKER, JV
    ZUCKER, JI
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 468 : 129 - 133
  • [26] Symbolic-numerical methods for the computation of normal forms of PDEs
    Ahamadi, M
    Gervais, JJ
    [J]. JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 2003, 158 (02) : 443 - 472
  • [27] SYMBOLIC COMPUTATION
    不详
    [J]. JOURNAL OF SYMBOLIC COMPUTATION, 1985, 1 (01) : 1 - 6
  • [28] Proving the convergence of the iterative methods by using symbolic computation in Maple
    Ardelean, Gheorghe
    [J]. CARPATHIAN JOURNAL OF MATHEMATICS, 2012, 28 (01) : 1 - 8
  • [29] AUTOMATIC SYMBOLIC COMPUTATION FOR DISCONTINUOUS GALERKIN FINITE ELEMENT METHODS
    Houston, Paul
    Sime, Nathan
    [J]. SIAM JOURNAL ON SCIENTIFIC COMPUTING, 2018, 40 (03): : C327 - C357
  • [30] Exact algebraic pole-zero cancellation using symbolic mathematical computation
    Larcombe, PJ
    Woodham, CA
    Brown, IC
    [J]. UKACC INTERNATIONAL CONFERENCE ON CONTROL '98, VOLS I&II, 1998, : 117 - 122
12345