20xx年20科院院士訃告-在線瀏覽
2025-01-25 06:20本頁面
【正文】 科學(xué)院學(xué)部委員(院士)。他引進(jìn)的示性類和示嵌類被稱為“吳示性類”和“吳示嵌類”，他導(dǎo)出的示性類之間的關(guān)系式被稱為”吳公式”。1970年代后期，他開創(chuàng)了嶄新的數(shù)學(xué)機械化領(lǐng)域，提出了用計算機證明幾何定理的“吳方法”，被認(rèn)為是自動推理領(lǐng)域的先驅(qū)性工作。
吳文俊曾獲得首屆國家最高科技獎(20xx)、首屆國家自然科學(xué)一等獎(1956)、首屆求是杰出科學(xué)家獎(1994)、有東方諾貝爾獎之稱的邵逸夫數(shù)學(xué)獎(20xx)、國際自動推理最高獎Herbrand自動推理杰出成就獎(1997)。他建立的數(shù)學(xué)機械化重點實驗室是國際符號計算領(lǐng)域最主要的研
范文總結(jié)相關(guān)推薦
鄂ICP備17016276號-1