C.A. Micchelli, W.L. Miranker
Journal of the ACM
The paper presents HIPAIR, a problem solving environment for reasoning about shape and motion in mechanisms. The core of the environment is a module that automates the kinematic analysis of mechanisms composed of linkages and higher pairs. The module provides the computational engine for a range of tasks, including simulation, behavior description, and parametric design.