Mechanically proving geometry theorems using a combination of Wu’s method and Collins’ method

Nicholas Freitag McPhee, Shang Ching Chou, Xiao Shan Gao

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    6 Scopus citations

    Fingerprint

    Dive into the research topics of 'Mechanically proving geometry theorems using a combination of Wu’s method and Collins’ method'. Together they form a unique fingerprint.

    Engineering & Materials Science

    Mathematics