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.

PDF(739 KB)
PDF(739 KB)
Journal of Systems Science & Complexity ›› 1989, Vol. 2 ›› Issue (2) : 97-109.
article

A MECHANIZATION METHOD OF GEOMETRY AND ITS APPLICATIONS Ⅳ.SOME THEOREMS IN PLANAR KINEMATICS

  • Wu Wenjun (Wu Wen-tsun)
Author information +
History +

Abstract

Let a moving plane MP over a fixed plane FP occupy four different positions. Eachpair of such positions is associated with a center of rotation called pole so that we have a 6-pole configuration. As an illustration of our general method of mechanical theorem proving and discovering, we discuss in the present paper in some derails certain theorems connected with such a configuration.

Key words

Mathematics mechanization / Mechanical theorem proving / Kinematics / Linkages / Mechanical design

Cite this article

Download Citations
Wu Wenjun (Wu Wen-tsun). A MECHANIZATION METHOD OF GEOMETRY AND ITS APPLICATIONS Ⅳ.SOME THEOREMS IN PLANAR KINEMATICS. Journal of Systems Science and Complexity, 1989, 2(2): 97-109
PDF(739 KB)

Accesses

Citation

Detail

Sections
Recommended

/