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 计算机辅助证明
computer to proof dp 数字式打样
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.
为了证明所欠的款额,医院以一份为被告所服务的电脑打印件和所欠的款额作为证据。
That's not much compared to computer chips, but Tour says this tag is just a "proof of concept."
和计算机芯片相比,这算不了什么。不过图尔称,这种新标签还仅仅处于“验证设想”阶段。
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.
而实际上,电脑程序的证明方式,据目前所知,是前人们从未曾提出过的
应用推荐