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

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

youdao

Computer algebraic and symbolic computation language CASC is a high level programming language used in formula manipulation.

计算机代数与符号演算语言CASC是一种高级程序设计语言，它可用于编制推演数学公式的程序。

youdao

However, because of the abstruse symbolic logic and complex formula catastrophe theory is seldom used for the research of bridge construction project optimization.

但是，由于突变理论有着高深的数理逻辑结构和推演规则，其应用却未在方案优选中得到应有的推广。

youdao