共 50 条
- [41] Parallel symbolic computation in ACE [J]. Annals of Mathematics and Artificial Intelligence, 1997, 21 : 359 - 395
- [43] Symbolic Computation of the Aluthge Transform [J]. Mediterranean Journal of Mathematics, 2017, 14
- [44] SYMBOLIC COMPUTATION IN JAPAN - EDITORIAL [J]. JOURNAL OF SYMBOLIC COMPUTATION, 1989, 8 (06) : 543 - 543
- [45] Derivations of identities by symbolic computation [J]. Japan Journal of Industrial and Applied Mathematics, 2006, 23
- [46] Symbolic computation and signal processing [J]. JOURNAL OF SYMBOLIC COMPUTATION, 2004, 37 (02) : 209 - 226
- [47] Symbolic Computation of Differential Equivalences [J]. ACM SIGPLAN NOTICES, 2016, 51 (01) : 137 - 150
- [48] Symbolic Computation of Parameter Integrals [J]. PROCEEDINGS OF THE 2016 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC 2016), 2016, : 13 - 15
- [49] Symbolic computation with finite quandles [J]. JOURNAL OF SYMBOLIC COMPUTATION, 2006, 41 (07) : 811 - 817
- [50] Symbolic computation software composability [J]. INTELLIGENT COMPUTER MATHEMATICS, PROCEEDINGS, 2008, 5144 : 285 - +