subformulae

Noun

form-of plural

plural of subformula

Japanese Meaning

「subformula」の複数形（subformulaeは、subformulaの複数形として用いられる）

When simplifying the expression, the computer algebra system identifies identical subformulae to reduce computation.

式を簡約するとき、コンピュータ代数システムは計算量を削減するために同一の部分式を検出します。

Sense（1）

plural of subformula