TOWARD MECHANIZATION OF GEOMETRY——SOME COMMENTS ON HILBERT'S “GRUNDLAGEN DER GEOMETRIE”

Acta mathematica scientia,Series B ›› 1982, Vol. 2 ›› Issue (2): 125-138.

• Articles • Next Articles

TOWARD MECHANIZATION OF GEOMETRY——SOME COMMENTS ON HILBERT'S “GRUNDLAGEN DER GEOMETRIE”

Wu Wen-tsün

Institute of Systems-Science, Academia Sinica

Received:1981-11-01 Online:1982-06-25 Published:1982-06-25

Abstract

Wu Wen-tsün. TOWARD MECHANIZATION OF GEOMETRY——SOME COMMENTS ON HILBERT'S “GRUNDLAGEN DER GEOMETRIE”[J].Acta mathematica scientia,Series B, 1982, 2(2): 125-138.

TOWARD MECHANIZATION OF GEOMETRY——SOME COMMENTS ON HILBERT'S “GRUNDLAGEN DER GEOMETRIE”

PDF (PC)

Abstract

Cite this article

share this article

References

Related Articles 0

Metrics

Comments

Recommended 0