利用均衡作用法，借助于计算机符号运算，求出了该方程的精确解析解。

Based on the idea of balancing-act method and the computerized symbolic computation, some exact analytic solutions of the CDGSK equation have been obtained.

youdao

实验结果表明，计算机符号运算对于公式体系繁杂的卫星重力学理论研究来说具有极大的增效作用。

Results indicate that the symbolic operation wais a helpful efficiency-amplifier for satellite gravity research that was characterized by a complicated formula system.

youdao

计算机代数系统的处理对象虽然是符号公式，但也需要整数运算，并且需要的是无限精度整数运算。

Although the objects processed by a computer algebra system are usually symbolic formulae, it is necessary for the system to operate with integers and even with infinite integers.

youdao