∫π每天一道数学题

数学日历

MATH · CALENDAR

吴文俊与数学机械化
19
2026年4月19日 · 星期日
丙午年 三月初三
故事

吴文俊与数学机械化

吴文俊(1919-2017)开创了数学机械化研究领域,提出吴方法自动证明几何定理.他在拓扑学中的示性类和示嵌类研究也有重大贡献.

“让机器做数学.”
—— 吴文俊
← 前一天今天后一天 →