專家智庫
中國人民政治協商會議重慶市委員會主辦
首頁 > 專題專欄 > 委員履職盡責實踐活動 > 專家智庫 > 正文
張景中簡介

2019年07月18日 11:37 來源:委員履職盡責實踐活動辦公室

張景中,男,河南省汝南縣人,1936年12月生,漢族,中共黨員,畢業于北京大學數學力學系,中國科學院院士,計算機科學家、數學家和數學教育學家。現任廣州大學計算科技研究院名譽院長、中國科學院成都計算機應用研究所名譽所長。

研究領域與成果:主要從事機器證明、教育數學、距離幾何及動力系統等領域的研究。1.提出了面積解題方法,并用之于機器證明的研究,使幾何定理可讀證明的自動生成這個多年來進展甚小的難題得到突破。2.創立計算機生成幾何定理可讀證明的原理和算法,這項成果被國際同行認為是使計算機能像處理算術一樣處理幾何工作的“里程碑”,并被系統地寫入大學師范生《初等幾何研究》教材。3.創立定理機器證明的數值并行方法的原理和算法。4.對幾何定理機器證明的吳方法進行了改進和發展,創立了含參結式法,升列組的WR分解算法,徹底解決了可約升列相對分解問題。5.創立了教育數學的思想和方法。

曾獲“全國優秀教師”等稱號及“全國五一勞動獎章”;獲1982年國家發明獎二等獎,1995年中國科學院自然科學獎一等獎,1997年國家自然科學獎二等獎,2005年和2009年國家科技進步獎二等獎。享受政府特殊津貼。

編輯:張敏
版權所有: 中國人民政治協商會議重慶市委員會
地址:重慶市渝北區紅錦大道68號    郵編:401147    渝ICP備05006522號
未經允許 不得轉載、復制或鏡像    技術支持:新華網重慶頻道
大发三分彩计划