A Mechanization Method of Geometry I. Elementary Geometry

Chinese Quarterly Journal of Mathematics ›› 1986, Vol. 1 ›› Issue (1): 1-14.

A Mechanization Method of Geometry I. Elementary Geometry

Institute of Systems Science, Academia Sinica

Received:1985-12-14 Online:1986-06-30 Published:2020-08-25

Abstract

Wu Wen-tsun. A Mechanization Method of Geometry I. Elementary Geometry[J]. Chinese Quarterly Journal of Mathematics, 1986, 1(1): 1-14.

References

Related Articles 0

Recommended Articles

Metrics

Comments