mathematical group theory数学群论 one group theory of reactor 反应堆单群理论 ..
双语例句
1
At the same time implemented machine proof of some mathematical theorems (Grouptheory) and logical Inference of statements.
与此同时,实现了一些数学(群论)定理的机器证明,命题的逻辑推演等。
2
This paper introduces the theory, the mathematical model, the algorithm, and the structure of a linear programing problem for runoff compensating regulation of a group of hydropower stations.
The mathematical model and structure for a multi-input-multi-output direct product system are proposed based on the direct product concept of grouptheory.