[mod.ai] looking for a theorem prover in 3D geometry

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