共 50 条
[23]
Automated symbolic computation in spin geometry
[J].
CLIFFORD ANALYSIS AND ITS APPLICATIONS,
2001, 25
:27-38
[27]
A framework for the symbolic computation of HolorGraphic models
[J].
1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5,
1998,
:3049-3054
[28]
Symbolic computation for evaluation of measurement uncertainty
[J].
2007 IEEE INSTRUMENTATION & MEASUREMENT TECHNOLOGY CONFERENCE, VOLS 1-5,
2007,
:2086-2089
[29]
Symbolic Computation in Automated Program Reasoning
[J].
FORMAL METHODS, FM 2023,
2023, 14000
:3-9
[30]
Solution of Limit Problems with Symbolic Computation
[J].
2016 24TH SIGNAL PROCESSING AND COMMUNICATION APPLICATION CONFERENCE (SIU),
2016,
:2005-2008