...象与构造性描述 论域与计算对象（ Domain and Computing Object ）， 枚举（ Enumeration ）与有穷表示（ Finite Representation ）， 分层与抽象的级（ Hierarchy and Levels of Abstraction ）， 内涵与外延（ Intension and Extension ），递归（ Recursion...
基于12个网页-相关网页
有限表示法 finite representation 不变平均与代数理论有限表示 Invariant means and finite representation theory of 有限可表示的 finitely representable ; fin...
基于12个网页-相关网页
... 耐用年限表 life table 有限表示 finite presentation; finite representation 有限表观流动 limited apparent flow ...
基于1个网页-相关网页
Representation Theory of Finite Groups 有限群表示论 ; 有限组合表示理论
finite representation type 有限表示型
ring of finite representation type 有限表示型环
algebra of finite representation type 有限表示型代数
algebras of finite-representation type 有限表示型代数
Representation theory of finite group 有限群表示论
finite group representation 有限群表示
In this paper, finite representation module in ring of formal triangle matrix is studied.
本文对形式三角矩阵环上的有限表示模进行了一些探讨。
Therefore the result of a floating-point calculation must often be rounded in order to fit back into its finite representation.
因此浮点计算的结果必须经常圆为了适应回其有限表示。
Thus we are able to have a finite representation of round number, and then make (fully) automatic verification of these algorithms possible.
这样就可以把算法的状态空间表示为有限的，从而使这类算法的自动化验证成为可能。
应用推荐