plural of subformula
subformulae
式を簡約するとき、コンピュータ代数システムは計算量を削減するために同一の部分式を検出します。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★