吴文俊

一句话记住

他让计算机也能一步步证明几何题。

开创数学机械化方法，在拓扑学等领域作出重要贡献。

本站正在按权威资料分批扩充人物生平、时间线与贡献说明。