×

通过观察镜的决定因素。 (英语) 兹比尔0994.05018

小结:使用从Dogson凝聚方法导出的递推公式,我们提供了行列式的数值显式计算。它们都是通过计算机辅助方法推测出来的,然后经过严格证明,应该能够实现完全自动化。我们还提到了实现这一目标的第一步,我们的Maple软件包DODGSON,它自动化了Hankel和Toeplitz超几何行列式的特殊情况。

MSC公司:

19年5月 组合恒等式,双射组合学
15甲15 行列式、恒量、迹、其他特殊矩阵函数
05A10号 阶乘、二项式系数、组合函数
2015年1月5日 精确枚举问题,生成函数

软件:

枫树道格森
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Amdeberhan,T。;Ekhad,S.B.,G.Kuperberg和G.Propp,J.Combin Theory Ser.推测的决定性评价的凝聚证明。A、 78、169-170(1997)·Zbl 0874.05006号
[2] Dodgson,C.L.,决定簇的凝聚,Proc。罗伊。伦敦社会委员会,150-155(1866)
[3] Kratenthaler,C.,《高级行列式微积分》,《塞米奈尔·洛塔林根组合》,《安德鲁斯·费斯特里夫特》,42(1999),第B42q页·Zbl 0923.05007号
[4] MacMahon,P.A.,组合分析(1916),剑桥大学出版社:剑桥大学出版社·JFM 46.0118.07标准
[5] M.Petkovs̆ek,未发表文章。;M.Petkovs̆ek,未发表文章。
[6] Zeilberger,D.,牧师Charles在Percy少校和田赛奖牌得主Enrico,Amer的帮助下。数学。月刊,103,501-502(1996)·Zbl 0856.15007号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。