Results indicate that the symbolic operation wais a helpful efficiency-amplifier for satellite gravity research that was characterized by a complicated formula system.
实验结果表明，计算机符号运算对于公式体系繁杂的卫星重力学理论研究来说具有极大的增效作用。
2
Computer algebraic and symbolic computation language CASC is a high level programming language used in formula manipulation.
计算机代数与符号演算语言CASC是一种高级程序设计语言，它可用于编制推演数学公式的程序。
3
However, because of the abstruse symbolic logic and complex formula catastrophe theory is seldom used for the research of bridge construction project optimization.