1.
Mechanical Theorem Proving in Differential Geometry about Curves on Surface;
微分几何曲面上曲线定理的机器证明
2.
Research and Development of Machine Proving System on Geometry Theorem;
几何定理机器证明系统的开发与研究
3.
MECHANICAL THEOREM PROVING FOR TENSOR WITH INDEXES IN DIFFERENTIAL GEOMETRY
基于指标形式张量的微分几何定理机器证明
4.
METHOD OF DECREASING DIMENSION BY PARTITION AND AUTOMATED PROVING FOR ALGEBRAIC INEQUALITIES
代数不等式的分拆降维方法与机器证明
5.
Mechanical Theorem Proving in Geometry;
几何定理的机器证明——每个中国数学教师都应懂得的方法
6.
theorem-proving for robot problem solving
机器人问题求解的定理证明
7.
These machines have proved a real boon to disabled people.
事实证明这些机器让残疾人受益匪浅。
8.
The machine proved highly valuable in heart surgery
这种机器做心脏手术证明是非常有价值的。
9.
That can only prove the containing case had been patched before loading.
我认为这只能证明装机器的条子在装船前破损并修补过。
10.
High automatic level and good repeatability& reproducibility is proved by using.
实际使用证明,该机器自动化程度高,测试结果的重复性和再现性好。
11.
inspection certificate of imported motor vehicles
进口机动车辆检验证明
12.
aircraft noise certification scheme
飞机噪音证明书计划
13.
members of the 100-person mission team have stressed how difficult it has been historically to send robotic explorers to Mars -- a place many of them see as jinxed.
此前，负责这一任务的小组就已经强调，过往的经验证明，往火星发射机器人探测器有多么艰难。
14.
Existing complexity proofs on the circularity problem of AGs are based on automata theory, such as writing pushdown acceptor and alternating Turing machines.
目前对属性文法循环性问题复杂度的证明，多基于自动机理论，如写入推出接受器、交替涂林机等。
15.
These are machines that invents recently.
这些是新近发明的机器。
16.
invented a machine to make ice.
发明了一种制冰的机器。
17.
diagram(of the parts of a machine)
（机器部件的）图解,说明图
18.
machinery certificate
机器证书机械设备合格证书