Computer-aided design and manufacturing : methods and tools - Dillmann, R., 1949-; Rembold, Ulrich (Symbolic computation. Computer graphics, 1986)