Chou, Shang-Ching; Gao, Xiao-Shan; Zhang, Jing-Zhong A deductive database approach to automated geometry theorem proving and discovering. (English) Zbl 0961.68121 J. Autom. Reasoning 25, No. 3, 219-246 (2000). MSC: 68T15 68P15 × Cite Format Result Cite Review PDF Full Text: DOI
Plaisted, David A.; Zhu, Yunshan Ordered semantic hyper-linking. (English) Zbl 0959.68115 J. Autom. Reasoning 25, No. 3, 167-217 (2000). MSC: 68T15 03B35 × Cite Format Result Cite Review PDF Full Text: DOI