A Geometric Modeling System for Automated Mechanical Assembly | IBM Journals & Magazine | IEEE Xplore