dan@ADS.ARPA (Dan Shapiro) (08/09/86)
A friend of mine is looking for pointers to work on the topic of theorem proving in 3D geometry. The application is in AI applied to the ellucidation of crystal structures within organic chemistry. He would also be interested in pointers to CAD-like programs that allow construction and visualization of repetative lattice structures. If anyone has information that would help out, please respond to me directly as Dan@ads-unix.Arpa Dan Shapiro