q-特殊函數的機器證明與計算方法研究

2010年

基礎理論

成果簡介

我們著重研究了q-級數和正交多項式的機械化證明與計算，它們在組合數學和量子理論中有重要應用。
我們給出了一種求線性算子方程超幾何級數解的系統方法，該方法適用于著名的Askey-Wilson scheme中幾乎所有的的正交多項式，為正交多項式的研究提供了強有力的工具；給出了線性差分方程有理函數解的最優分母上界，新的上界提高了計算效率；給出了Zeilberger算法的擴展算...

相關成果

1. q-級數與機器證明
2. 定理機器證明與自動推理的研究
3. 幾何定理機器證明理論與算法的新進展
4. 微分算子與q-級數
5. 關于Erdos猜想的證明
6. 帶遞歸π-演算的證明系統
7. 商高數猜想的完全證明
8. 排尿回路的形態學證明
9. 李群表示、特殊函數及其調和分析
10. 機器魚的研究與制作
12. Q－氰基丙烯酸酯的制備方法
13. 18基因座基因型身份證明的研制與應用
14. 網絡結構與優化中的智能計算方法研究
15. 基抗支護結構計算方法與CAD的研究
16. 對稱空間上的調和分析及相關的特殊函數
17. 型煤鍋爐爐膛熱力計算方法與設計研究
18. 基于安全需求的遠程證明方法及其系統
19. Q-開關紅寶石激光治療機
20. Q－開關Nd:YAG激光治療眼前節疾病

精品福利一区二区三区免费视-精品福利一区二区三区免费视频-精品福利一区二区在线观看-精品高潮呻吟99AV无码-精品高潮呻吟AV久久无码-精品高精欧美囯产日韩一区

q-特殊函數的機器證明與計算方法研究

標簽云

猜您想要的成果

相關專家

相關機構


	選擇導出文檔的格式關閉 PDF PDF RTF(word文檔) TXT(純文本)


	提示信息關閉發送短信成功


	提示信息關閉發送短信失敗


	提示信息關閉發送郵件失敗


	提示信息關閉郵件發送成功