SYMBOLIC COMPUTATION

被引:0
|
作者
不详
机构
关键词
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
引用
收藏
页码:1 / 6
页数:6
相关论文
共 50 条
  • [1] Symbolic WCET Computation
    Ballabriga, Clement
    Forget, Julien
    Lipari, Giuseppe
    [J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2018, 17 (02)
  • [2] Methodologies of Symbolic Computation
    Davenport, James
    [J]. ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION (AISC 2018), 2018, 11110 : 19 - 33
  • [3] Symbolic computation packages
    Bramley, R
    [J]. IEEE COMPUTATIONAL SCIENCE & ENGINEERING, 1997, 4 (01): : 89 - 89
  • [4] On the Complexity of Symbolic Computation
    van der Hoeven, Joris
    [J]. PROCEEDINGS OF THE 2022 INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION, ISSAC 2022, 2022, : 3 - 12
  • [5] SYMBOLIC MATHEMATICAL COMPUTATION
    WOLFRAM, S
    [J]. COMMUNICATIONS OF THE ACM, 1985, 28 (04) : 390 - 394
  • [6] SYMBOLIC COMPUTATION AND CHEMISTRY
    BALABAN, AT
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 203 : 68 - 79
  • [7] The value of symbolic computation
    Tabor, W
    [J]. ECOLOGICAL PSYCHOLOGY, 2002, 14 (1-2) : 21 - 51
  • [8] Symbolic computation with sequences
    M. Petkovšek
    [J]. Programming and Computer Software, 2006, 32 : 65 - 70
  • [9] Symbolic computation with sequences
    Petkovsek, M
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 2006, 32 (02) : 65 - 70
  • [10] SYMBOLIC MATHEMATICAL COMPUTATION
    MONAGAN, M
    GONNET, G
    CHAR, B
    [J]. COMMUNICATIONS OF THE ACM, 1986, 29 (07) : 680 - 682