返回
摘要
En 中文
本文提出了一种符号计算方法,用于自动将q-超几何恒等式转换为q二项式恒等式。通过该方法,许多先前已证明的q二项式恒等式被重新发现,其中包括q-Saalschütz公式和q-Surányi公式,同时发现了大量新的恒等式。此外,恒等式的生成伴随着相应的证明。在转换过程中,不同的变量取值范围和q-Pochhammer符号的各种组合会产生不同的恒等式。该算法将变量约束映射到有序向量空间中的正元素,并采用回溯法为每一步提供可行的变量约束和q二项式系数组合。(c) 2025 Elsevier Inc. 版权所有,包括文本和数据分析、AI训练及类似技术的使用权。
Keyword:
q-Binomial identities
q-Hypergeometric identities
Ordered vector space
Positive span
Computer algebra
期刊
A
IF:
1.3
论文数:
61
被引数:
0
机构
暂无机构信息
引用论文
Quadratic sums of Gaussian q-binomial coefficients and Fibonomial coefficientsGaussian q-二项式系数和fibonomial系数的二次和
A Unified Interpretation of the Binomial Coefficients, the Stirling Numbers, and the Gaussian Coefficients二项式系数、斯特林数和高斯系数的统一解释

