本项目主要研究涉及q-特殊函数的等式证明以及相关的计算问题。..特殊函数是数学和物理学的基本研究对象之一。随着量子理论研究的发展,q-特殊函数已经成为了新的研究焦点。..等式的发现和证明在q-特殊函数理论中起着至关重要的作用,许多q-特殊函数的性质最终都归结于某个等式的证明。我们将研究符号计算方法,给出一系列等式的计算机辅助证明,还将从对称函数和算子的角度考察q-特殊函数,系统构造和证明一些新的等式。同时我们还将研究微分-差分方程、关联系数、线性化系数等重要特征的符号计算方法,为相关软件包的开发提供理论基础。
{{i.achievement_title}}
数据更新时间:2023-05-31
拥堵路网交通流均衡分配模型
基于谐波抑制与补偿线技术的非对称Doherty功放设计
分数阶微分方程奇异系统边值问题正解的存在性
Banach空间集合覆盖数估计的新方法
Luxemburg范数下Orlicz-Bochner函数空间的I-凸性与Q-凸性
特殊函数恒等式的机器证明与组合证明
一些q-特殊函数的研究
q-级数与机器证明
基于超几何函数、超几何q-级数函数类的关于参数的偏导数性质、快速计算及其应用