共 50 条
- [31] Symbolic computation of Petri nets [J]. COMPUTATIONAL SCIENCE - ICCS 2007, PT 2, PROCEEDINGS, 2007, 4488 : 235 - +
- [33] Symbolic computation with finite biquandles [J]. JOURNAL OF SYMBOLIC COMPUTATION, 2007, 42 (10) : 992 - 1000
- [34] DISCRIMINATOR VARIETIES AND SYMBOLIC COMPUTATION [J]. JOURNAL OF SYMBOLIC COMPUTATION, 1992, 13 (02) : 175 - 207
- [35] Symbolic computation of differential equivalences [J]. THEORETICAL COMPUTER SCIENCE, 2019, 777 : 132 - 154
- [36] Symbolic computation in nonlinear systems [J]. SYSTEM STRUCTURE AND CONTROL 1997, 1998, : 351 - 355
- [37] Towards Specifying Symbolic Computation [J]. INTELLIGENT COMPUTER MATHEMATICS, CICM 2019, 2019, 11617 : 109 - 124
- [39] Symbolic Computation with Monotone Operators [J]. Set-Valued and Variational Analysis, 2018, 26 : 353 - 368
- [40] THE MINISAC SYSTEM FOR SYMBOLIC COMPUTATION [J]. PROGRAMMING AND COMPUTER SOFTWARE, 1993, 19 (03) : 129 - 136