Discovery of Geometry Theorems: Avoiding Isomorphic Situation Descriptions.

Rajiv Bagai, Vasant Shanbhogue, Jan M. Zytkow, Shang-Ching Chou

Browse the full ICCI paper archive.