Mechanically Proving Geometry Theorems Using a Combination of Wu s Method and Collins Method

Nicholas Freitag McPhee, Shang-Ching Chou, Xiao-Shan Gao. Mechanically Proving Geometry Theorems Using a Combination of Wu s Method and Collins Method. In Alan Bundy, editor, Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings. Volume 814 of Lecture Notes in Computer Science, pages 401-415, Springer, 1994.

Authors

Nicholas Freitag McPhee

This author has not been identified. Look up 'Nicholas Freitag McPhee' in Google

Shang-Ching Chou

This author has not been identified. Look up 'Shang-Ching Chou' in Google

Xiao-Shan Gao

This author has not been identified. Look up 'Xiao-Shan Gao' in Google