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

数学物理学报(英文版) ›› 1982, Vol. 2 ›› Issue (2): 125-138.

• 论文 • 下一篇

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

吴文俊

Institute of Systems-Science, Academia Sinica

收稿日期:1981-11-01 出版日期:1982-06-25 发布日期:1982-06-25

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

吴文俊. TOWARD MECHANIZATION OF GEOMETRY——SOME COMMENTS ON HILBERT'S “GRUNDLAGEN DER GEOMETRIE”[J]. 数学物理学报(英文版), 1982, 2(2): 125-138.

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”

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

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 10