At the same time implemented machine proof of some mathematical theorems (Group theory) and logical Inference of statements.
与此同时，实现了一些数学(群论)定理的机器证明，命题的逻辑推演等。
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 group theory.
本文在直积网络概念的基础上，提出了一种多输入多输出直积系统的结构。
应用推荐