Machine Proof to Theorems and Traditional Mathematical Concept;
定理机器证明与传统数学观
Wu Method of machine proving can solve nonlinear equations effectively, and it has been applied to theoretical physics, computer science, mathematicsceience and robotics etc.
机器证明的吴方法能有效地解非线性方程组,已应用到理论论理、计算机科学、数学科学、机器人机构学等领域。
A constructive proof of a class of nonconvex Brouwer fixed point problems is pre-sented, and the theoretical base of homotopy method to the problem has been created.
一类非凸Ｂｒｏｕｗｅｒ不动点问题的同伦算法于波，林正华（吉林大学数学研究所，长春１３００２３）关键词不动点定理，构造性证明，同伦算法在７０年代，文［１，２］就提出了求Ｒ￣ｎ中有界闭凸集上连续可微自映射的不动点的同伦算法，这是非线性问题数值解法的突破性。
Mechanical Theorem Proving in Differential Geometry about Curves on Surface;
微分几何曲面上曲线定理的机器证明
Research and Development of Machine Proving System on Geometry Theorem;
几何定理机器证明系统的开发与研究
MECHANICAL THEOREM PROVING FOR TENSOR WITH INDEXES IN DIFFERENTIAL GEOMETRY
基于指标形式张量的微分几何定理机器证明
METHOD OF DECREASING DIMENSION BY PARTITION AND AUTOMATED PROVING FOR ALGEBRAIC INEQUALITIES
代数不等式的分拆降维方法与机器证明
Mechanical Theorem Proving in Geometry;
几何定理的机器证明——每个中国数学教师都应懂得的方法
theorem-proving for robot problem solving
机器人问题求解的定理证明
These machines have proved a real boon to disabled people.
事实证明这些机器让残疾人受益匪浅。
The machine proved highly valuable in heart surgery
这种机器做心脏手术证明是非常有价值的。
That can only prove the containing case had been patched before loading.
我认为这只能证明装机器的条子在装船前破损并修补过。
High automatic level and good repeatability& reproducibility is proved by using.
实际使用证明,该机器自动化程度高,测试结果的重复性和再现性好。
inspection certificate of imported motor vehicles
进口机动车辆检验证明
aircraft noise certification scheme
飞机噪音证明书计划
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.
此前，负责这一任务的小组就已经强调，过往的经验证明，往火星发射机器人探测器有多么艰难。
Existing complexity proofs on the circularity problem of AGs are based on automata theory, such as writing pushdown acceptor and alternating Turing machines.
目前对属性文法循环性问题复杂度的证明，多基于自动机理论，如写入推出接受器、交替涂林机等。
These are machines that invents recently.
这些是新近发明的机器。
invented a machine to make ice.
发明了一种制冰的机器。
diagram(of the parts of a machine)
（机器部件的）图解,说明图
machinery certificate
机器证书机械设备合格证书
