
A MECHANIZATION METHOD OF GEOMETRY AND ITS APPLICATIONS Ⅳ.SOME THEOREMS IN PLANAR KINEMATICS
Wu Wenjun (Wu Wen-tsun)
Journal of Systems Science & Complexity ›› 1989, Vol. 2 ›› Issue (2) : 97-109.
A MECHANIZATION METHOD OF GEOMETRY AND ITS APPLICATIONS Ⅳ.SOME THEOREMS IN PLANAR KINEMATICS
Mathematics mechanization / Mechanical theorem proving / Kinematics / Linkages / Mechanical design {{custom_keyword}} /
/
〈 |
|
〉 |