POLYMER MODELING APPLICATIONS OF SYMBOLIC COMPUTATION

被引：0
|
作者：
BENDLER, JT [1 ]
机构：
[1] GE,POLYMER PHYS & ENGN BRANCH,SCHENECTADY,NY 12301
来源：
ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY | 1984年 / 188卷 / AUG期
关键词：
D O I：
暂无
中图分类号：
O6 [化学];
学科分类号：
0703 ;
摘要：
引用
收藏
页码：16 / COMP
相关论文
共 50 条
  • [31] Fast symbolic computation of the worst-case delay in tandem networks and applications
    Bouillard, Anne
    Nowak, Thomas
    PERFORMANCE EVALUATION, 2015, 91 : 270 - 285
  • [32] Factor Varieties and Symbolic Computation
    Salibra, Antonino
    Manzonetto, Giulio
    Favro, Giordano
    PROCEEDINGS OF THE 31ST ANNUAL ACM-IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016), 2016, : 739 - 748
  • [33] Symbolic computation in control theory
    Giorgadze, G
    CCCT 2003, VOL 5, PROCEEDINGS: COMPUTER, COMMUNICATION AND CONTROL TECHNOLOGIES: II, 2003, : 100 - 101
  • [34] SYMBOLIC COMPUTATION FOR WITT RINGS
    JUOZAPAVICIUS, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 358 : 271 - 273
  • [35] Satisfiability Checking and Symbolic Computation
    Abraham, E.
    Abbott, J.
    Becker, B.
    Bigatti, A. M.
    Brain, M.
    Buchberger, B.
    Cimatti, A.
    Davenport, J. H.
    England, M.
    Fontaine, P.
    Forrest, S.
    Griggio, A.
    Kroening, D.
    Seiler, W. M.
    Sturm, T.
    ACM COMMUNICATIONS IN COMPUTER ALGEBRA, 2016, 50 (04): : 145 - 147
  • [36] SYMBOLIC COMPUTATION AND PARALLEL SOFTWARE
    WANG, PS
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 591 : 316 - 337
  • [37] Towards Specifying Symbolic Computation
    Carette, Jacques
    Farmer, William M.
    INTELLIGENT COMPUTER MATHEMATICS, CICM 2019, 2019, 11617 : 109 - 124
  • [38] Symbolic computation of differential equivalences
    Cardelli, Luca
    Tribastone, Mirco
    Tschaikowski, Max
    Vandin, Andrea
    THEORETICAL COMPUTER SCIENCE, 2019, 777 : 132 - 154
  • [39] Symbolic computation in structural engineering
    Pavlovic, MN
    COMPUTERS & STRUCTURES, 2003, 81 (22-23) : 2121 - 2136
  • [40] Symbolic computation in nonlinear systems
    Collado, J
    Esquivel, JA
    SYSTEM STRUCTURE AND CONTROL 1997, 1998, : 351 - 355
12345