Solid Modeling by Computers