SYMBOLIC COMPUTATION

被引:0
|
作者
不详
机构
关键词
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
引用
收藏
页码:1 / 6
页数:6
相关论文
共 50 条
  • [41] Parallel symbolic computation in ACE
    Enrico Pontelli
    Gopal Gupta
    [J]. Annals of Mathematics and Artificial Intelligence, 1997, 21 : 359 - 395
  • [42] SYMBOLIC COMPUTATION AND THE DIRICHLET PROBLEM
    WILKERSON, RW
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 174 : 59 - 63
  • [43] Symbolic Computation of the Aluthge Transform
    Dimitrios Pappas
    V. N. Katsikis
    Ivan P. Stanimirović
    [J]. Mediterranean Journal of Mathematics, 2017, 14
  • [44] SYMBOLIC COMPUTATION IN JAPAN - EDITORIAL
    FUTAMURA, Y
    IDA, T
    NAKAJIMA, R
    SASAKI, T
    [J]. JOURNAL OF SYMBOLIC COMPUTATION, 1989, 8 (06) : 543 - 543
  • [45] Derivations of identities by symbolic computation
    Akira Nakamura
    [J]. Japan Journal of Industrial and Applied Mathematics, 2006, 23
  • [46] Symbolic computation and signal processing
    Park, H
    [J]. JOURNAL OF SYMBOLIC COMPUTATION, 2004, 37 (02) : 209 - 226
  • [47] Symbolic Computation of Differential Equivalences
    Cardelli, Luca
    Tribastone, Mirco
    Tschaikowski, Max
    Vandin, Andrea
    [J]. ACM SIGPLAN NOTICES, 2016, 51 (01) : 137 - 150
  • [48] Symbolic Computation of Parameter Integrals
    Raab, Clemens G.
    [J]. PROCEEDINGS OF THE 2016 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC 2016), 2016, : 13 - 15
  • [49] Symbolic computation with finite quandles
    Henderson, Richard
    Macedo, Todd
    Nelson, Sam
    [J]. JOURNAL OF SYMBOLIC COMPUTATION, 2006, 41 (07) : 811 - 817
  • [50] Symbolic computation software composability
    Freundt, Sebastian
    Horn, Peter
    Konovalov, Alexander
    Linton, Steve
    Roozemond, Dan
    [J]. INTELLIGENT COMPUTER MATHEMATICS, PROCEEDINGS, 2008, 5144 : 285 - +