吴文俊（1919年5月12日-2017年5月7日 98岁）
著名数学家，中国科学院院士，首届国家最高科技奖获得者。中国数学机械化研究的创始人。20世纪50年代在示性类、示嵌类等研究方面取得吴文俊公式、吴文俊示性类等一系列突出成果，并有许多重要应用。70年代创立了定理机器证明的“吴方法”，影响巨大，具有重要应用价值。
【吴文俊逝世】