共 50 条
- [35] Symbolic and numerical analysis of the restricted five body problem using computer algebra Programming and Computer Software, 2014, 40 : 139 - 142
- [36] Analysis on Double Hopf Bifurcation Using Computer Algebra with the Aid of Multiple Scales Nonlinear Dynamics, 2002, 27 : 19 - 53
- [37] Incremental column-wise verification of arithmetic circuits using computer algebra Formal Methods in System Design, 2020, 56 : 22 - 54
- [40] Computer algebra for special function inequalities TAPAS IN EXPERIMENTAL MATHEMATICS, 2008, 457 : 215 - 235