THE MINISAC SYSTEM FOR SYMBOLIC COMPUTATION

被引:0
|
作者
BARANOV, SN [1 ]
机构
[1] ST PETERSBURG INFORMAT & AUTOMAT INST,ST PETERSBURG,RUSSIA
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
This paper describes a symbolic computation system that was ported to IBM PC's from a mainframe implementation by means of a Forth-based technology, The characteristics of the system are given, and technological aspects of the porting technique are discussed; this approach is also applicable to other packages for which source language programs are available.
引用
收藏
页码:129 / 136
页数:8
相关论文
共 50 条
  • [1] The TOPAS symbolic computation system
    Coelho, A. A.
    Evans, John S. O.
    Evans, Ivana R.
    Kern, A.
    Parsons, S.
    [J]. POWDER DIFFRACTION, 2011, 26 : S22 - S25
  • [2] System identifiability (symbolic computation) and parameter estimation (numerical computation)
    Denis-Vidal, L
    Joly-Blanchard, G
    Noiret, C
    [J]. NUMERICAL ALGORITHMS, 2003, 34 (2-4) : 283 - 292
  • [3] System Identifiability (Symbolic Computation) and Parameter Estimation (Numerical Computation)
    Lilianne Denis-Vidal
    Ghislaine Joly-Blanchard
    Céline Noiret
    [J]. Numerical Algorithms, 2003, 34 : 283 - 292
  • [4] THE SETPLAYER SYSTEM FOR SYMBOLIC COMPUTATION ON POWER SETS
    BERQUE, D
    CECCHINI, R
    GOLDBERG, M
    RIVENBURGH, R
    [J]. JOURNAL OF SYMBOLIC COMPUTATION, 1992, 14 (06) : 645 - 662
  • [5] SYMBOLIC COMPUTATION
    不详
    [J]. JOURNAL OF SYMBOLIC COMPUTATION, 1985, 1 (01) : 1 - 6
  • [6] Applications of symbolic computation to power system analysis and teaching
    Canizares, C. A.
    [J]. 2006 IEEE/PES Power Systems Conference and Exposition. Vols 1-5, 2006, : 361 - 361
  • [7] Iscalc: An Interactive Symbolic Computation Framework (System Description)
    Zhan, Bohua
    Fan, Yuheng
    Xiong, Weiqiang
    Xu, Runqing
    [J]. AUTOMATED DEDUCTION, CADE 29, 2023, 14132 : 577 - 589
  • [8] Applications of symbolic computation to power system analysis and teaching
    Cañizares, CA
    [J]. 2005 IEEE POWER ENGINEERING SOCIETY GENERAL MEETING, VOLS, 1-3, 2005, : 811 - 813
  • [9] Symbolic computation in nonlinear control system analysis & design
    deJager, B
    [J]. ZEITSCHRIFT FUR ANGEWANDTE MATHEMATIK UND MECHANIK, 1996, 76 : 399 - 400
  • [10] Symbolic WCET Computation
    Ballabriga, Clement
    Forget, Julien
    Lipari, Giuseppe
    [J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2018, 17 (02)