<sub id="ftvvz"></sub>
<address id="ftvvz"></address>
<form id="ftvvz"></form>
<thead id="ftvvz"></thead>

<sub id="ftvvz"></sub>

學術報告
您現在的位置: 首頁 > 科學研究 > 學術報告 > 正文

20200715 侯慶虎 q級數與符號計算

發布時間:2020-07-06 15:45    瀏覽次數:    來源:

題目: q級數與符號計算
報告人: 侯慶虎教授,天津大學
時間:2020/07/15  周三  9:00-10:00
騰訊會議 ID:629 623 584
報告人介紹:侯慶虎,天津大學數學學院教授,博士生導師。2001年獲得南開大學理學博士,2013年國家自然科學基金優秀青年項目獲得者。在組合恒等式的機器證明方面取得了多項重要進展:他解決了Zeilberger算法終止性問題。該算法是組合恒等式機器證明的核心算法,使得機器證明成為恒等式研究的重要工具,其提出者因此獲得了美國Steele獎。他合作給出了證明無窮q 級數等式的系統方法,證明了q級數經典著作《Basic Hypergeometric Series》中的幾乎所有恒等式。他合作提出了"組合鄰差" 的概念, 給出了一類組合證明的系統構造方法,《數學評論》稱其為證明等式的"有效方法"。他還將機器證明的方法和思想引入到了組合不等式和同余式的證明中。給出了證明高階對數凸性和同余等式的機械化方法,證明了多個猜想。他參與多個應用項目研究,獲得孫冶方經濟學獎。從2003年起至今,他一直與社科院合作,利用數學模型進行城市競爭力研究并作為第一副主編發布城市競爭力報告。該系列報告已經成為政府、企業和社會的重要參考,獲得了2005年的"孫冶方"經濟學獎。他還參與支票防偽、全文檢索、人臉識別、圖像拼接等應用項目,利用組合數學算法解決實際問題,得到了好的效果。例如將橢圓曲線加密算法應用于數字簽名,能有效解決支票防偽問題。

湖南大學版權所有?2017年    通訊地址:湖南省長沙市岳麓區麓山南路麓山門     郵編:410082     Email:xiaoban@hnu.edu.cn
域名備案信息:[www.hnu.edu.cn,www.hnu.cn/湘ICP備05000239號]      [hnu.cn 湘教QS3-200503-000481 hnu.edu.cn  湘教QS4-201312-010059]

体育彩票下载