q-级数与机器证明
基本信息
批准号：10401017
项目类别：青年科学基金项目
资助金额：10.00
负责人：侯庆虎
学科分类：
依托单位：南开大学
批准年份：2004
结题年份：2007
起止时间：2005-01-01 - 2007-12-31
项目状态： 已结题
项目参与者：穆彦平,付梅,吴宜均,俞强,张余婷,郭强辉
关键词：
q级数恒等式机器证明
结项摘要
本项目主要研究涉及q-级数的恒等式的证明方法，并研究这些方法的机械化实现。.q-级数是数学中的一个重要研究对象，在分拆理论、数论、向量空间以及数学物理中具有广泛的应用。关于q-级数的一个核心问题是众多恒等式的证明，目前有代数方法、数论方法、分析方法、组合方法等等。我们将系统的研究代数方法，同时引入对称函数理论这一新的工具，发现和证明一系列涉及q-级数的恒等式。.数学机械化是数学发展的一个重要方向。目前对q-恒等式的证明虽然有q-Gosper算法，WZ算法等方法，但理论还不十分完善，计算量还比较大。本项目将结合对q-等式证明方法的研究，改进和发展对无穷和等式、多重和等式的机械化证明算法。
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
基于SSVEP 直接脑控机器人方向和速度研究
基于SSVEP 直接脑控机器人方向和速度研究
DOI：10.16383/j.aas.2016.c150880
发表时间：2016
2
时间序列分析与机器学习方法在预测肺结核发病趋势中的应用
时间序列分析与机器学习方法在预测肺结核发病趋势中的应用
DOI：
发表时间：2020
3
基于公司行业结构的哈尔滨跨区域联系网络分析
基于公司行业结构的哈尔滨跨区域联系网络分析
DOI：10.31497/zrzyxb.20200712
发表时间：2020
4
热塑性复合材料机器人铺放系统设计及工艺优化研究
热塑性复合材料机器人铺放系统设计及工艺优化研究
DOI：10.3901/jme.2021.23.209
发表时间：2021
5
柔性基、柔性铰空间机器人基于状态观测的改进模糊免疫混合控制及抑振研究
柔性基、柔性铰空间机器人基于状态观测的改进模糊免疫混合控制及抑振研究
DOI：10.13465/j.cnki.jvs.2018.19.027
发表时间：2018
侯庆虎的其他基金
批准号：11171167
批准年份：2011
资助金额：42.00
项目类别：面上项目
批准号：11771330
批准年份：2017
资助金额：48.00
项目类别：面上项目
相似国自然基金
1
组合计数与q-级数及其研究
批准号：10771093
批准年份：2007
负责人：张之正
学科分类：A0408
资助金额：25.00
项目类别：面上项目
2
q-特殊函数的证明与计算
批准号：10826038
批准年份：2008
负责人：穆彦平
学科分类：A0408
资助金额：3.00
项目类别：数学天元基金项目
3
q-级数恒等式的推广与应用
批准号：11001141
批准年份：2010
负责人：谷珊珊
学科分类：A0408
资助金额：16.00
项目类别：青年科学基金项目
4
q-级数恒等式的研究
批准号：11001036
批准年份：2010
负责人：张文龙
学科分类：A0408
资助金额：11.00
项目类别：青年科学基金项目