Computer generated and assisted proofs and verification occupy a small niche in the realm of Computer Science.
公理的计算机生成、辅助证明和验证这一学科在计算机科学王国中只占有很小的份额。
2
Results of the mathematical model verification and the numerical results of heat consumption computer-assisted management control system operation are shown on Figure 2.