Computer-to-proof 数字打样
non-computer proof 非计算机证明
computer proof system 机器证明系统
computer proof of thermodynamic formulas 热力学公式的计算机证明
Computer to Proof 数码打样
geometrical mechanical proof by computer 几何机器证明
computer aided proof 计算机辅助证明
computer-aided proof 计算机辅助证明
rigorous computer assisted proof 计算机严格辅助证明
The second inspect the two typical cases: computer proof of four-color conjecture and establishing of fractal geometry.
第二章考察了计算机在数学应用中的两个具体案例:四色猜想的计算机证明和分形几何的建立。
As proof of the amount owed to it, the hospital offered in evidence a computer printout of the services rendered to the defendant and the amounts owed for them.
为了证明所欠的款额,医院以一份为被告所服务的电脑打印件和所欠的款额作为证据。
And, in fact, a computer program has come up with a proof that, as far as was known, nobody in the world had ever come up with before.
而实际上,电脑程序的证明方式,据目前所知,是前人们从未曾提出过的
应用推荐