×

道格森

swMATH编号: 12653
软件作者: Amdeberhan、Tewodros;多龙·泽尔伯格
描述: 通过观察镜的决定因素。利用从Dogson凝聚方法导出的递推公式,我们给出了行列式的数值显式估计。它们都是通过计算机辅助方法推测出来的,然后经过严格证明,应该能够实现完全自动化。我们还提到了实现这一目标的第一步,我们的Maple软件包DODGSON,它自动化了Hankel和Toeplitz超几何行列式的特殊情况。
主页: http://www.math.rutgers.edu/~zeilberg/programs.html
依赖项: 枫树
关键词: 决定恒等式;多格森凝聚;Hankel和Toeplitz超几何行列式
相关软件: DET公司;全息函数;兔子;组织环境信息系统;抢劫;CLD公司;枫树;DLMF公司;夏皮罗;LinBox(接线盒)
引用于: 16文件

按年份列出的引文