《q-級數與機器證明》是依託南開大學，由侯慶虎擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名：q-級數與機器證明
- 項目類別：青年科學基金項目
- 項目負責人：侯慶虎
- 依託單位：南開大學
- 支持經費：10（萬元）
- 研究期限：2005-01-01 至 2007-12-31
- 負責人職稱：教授
- 申請代碼：A0408
- 批准號：10401017
中文摘要
本項目主要研究涉及q-級數的恆等式的證明方法，並研究這些方法的機械化實現。.q-級數是數學中的一個重要研究對象，在分拆理論、數論、向量空間以及數學物理中具有廣泛的套用。關於q-級數的一個核心問題是眾多恆等式的證明，目前有代數方法、數論方法、分析方法、組合方法等等。我們將系統的研究代數方法，同時引入對稱函式理論這一新的工具，發現和證明一系列涉及q-級數的恆等式。.數學機械化是數學發展的一個重要方向。目前對q-恆等式的證明雖然有q-Gosper算法，WZ算法等方法，但理論還不十分完善，計算量還比較大。本項目將結合對q-等式證明方法的研究，改進和發展對無窮和等式、多重和等式的機械化證明算法。
