We can use it for quick formulae display. 可以使用它来实现公式的快速显示。
It will be useful to summarize the relevant Gaussian formulae. 有必要概括地讲一下有关的高斯公式。
Some people appreciate theory and formulae, while some people appreciate practice and skills. 有些人重视理论和规则,但有些人重视实践和技巧。
Gentzen-style calculi can be modified by removing the weakening rules that allow for the introduction of arbitrary formulae on the right or left side of the sequents. 根岑式的演算可以为此做出修改,就是除去允许在相继式右手端的介入任意公式的弱化规则。