In this paper, finite representation module in ring of formal triangle matrix is studied.

本文对形式三角矩阵环上的有限表示模进行了一些探讨。

youdao

Therefore the result of a floating-point calculation must often be rounded in order to fit back into its finite representation.

因此浮点计算的结果必须经常圆为了适应回其有限表示。

youdao

Thus we are able to have a finite representation of round number, and then make (fully) automatic verification of these algorithms possible.

这样就可以把算法的状态空间表示为有限的，从而使这类算法的自动化验证成为可能。

youdao