道森

透过镜子的决定因素。利用Dogson缩聚法的递推,我们给出了行列式的数值显式计算。它们都是推测出来的,然后通过计算机辅助的方法严格地证明了这一点应该可以完全自动化。我们还提到了实现这一目标的第一步,我们的Maple包DODGSON,它自动化了Hankel和Toeplitz超几何行列式的特殊情况。