On Reducibility Problem  in Mechanical Theorem  Proving of Elementary Geometies

Chinese Quarterly Journal of Mathematics ›› 1987, Vol. 2 ›› Issue (2): 1-20.

Received:1986-03-15 Online:1987-06-30 Published:2021-01-26

Abstract

WU Wen-tsun. On Reducibility Problem in Mechanical Theorem Proving of Elementary Geometies [J]. Chinese Quarterly Journal of Mathematics, 1987, 2(2): 1-20.

On Reducibility Problem in Mechanical Theorem Proving of Elementary Geometies

PDF (PC)

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 0

Recommended Articles

Metrics

Comments