An Introduction to Geometry Expert.

Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang

Browse the full CADE paper archive.