Wu Wen-Tsun. On the decision problem and the mechanization of
theorem proving in elementary geometry. Reprinted from .SCientia.
Si.nica 21 (2), 1978, with permission of the author.
Douglas Lenat. Automated theory formation in mathematics.
Adopted from the article of the same title in the Proceedings of the
International Joint Conference on Artificial Intelligence, August,
1977, with the permission of the International Joint Conferences
on Artificial Intelligence, Inc. Copies of the proceedings are avail-
able from William Kaufmann, Inc.,
First Street, Los Altos, CA