| ประโยคภาษาจีน : 中文句子 | 
|---|
|  jī qì机器  zhèng míng证明  de的  wú吴  fāng fǎ方法  néng能  yǒu xiào有效  de地  jiě解  fēi xiàn xìng非线性  fāng chéng zǔ方程组  yǐ已  yìng yòng应用  dào到  lǐ lùn理论  lùn lǐ论理  jì suàn jī kē xué计算机科学  shù xué数学  kē xué科学  jī qì rén机器人  jī gòu机构  xué学  děng等  lǐng yù领域 | 
| Wu Method of machine proving can solve nonlinear equations effectively, and it has been applied to theoretical physics, computer science, mathematicsceience and robotics etc. |