搜索结果: 1-3 共查到“信息科学与系统科学 CHARACTERISTIC”相关记录3条 . 查询时间(0.062 秒)
Delay differential systems are widely used in many different fields. It isimportant to determine the local stability of their equilibria. For systems withdelay dependent parameters, the stability anal...
For coupled system of multilayer dynamics of fluids in porousmedia, the characteristic alternating-direction finite elementmethods for nonrectangular regions applicable to parallelarithmetic are put f...
AUTOMATED REASONING IN DIFFERENTIAL GEOMETRY AND MECHANICS USING THE CHARACTERISTIC METHOD Ⅳ. Bertrand Curves
Mechanical theorem proving metric differ
2007/8/7
This paper reports the study of properties of the curve pairs of the Bertrand types using our automated reasoning program based on Wu's method of mechanical theorem proving for differential geometry. ...