DET
From MaRDI portal
Software:31095
No author found.
Related Items (7)
Inverse inequality estimates with symbolic computation ⋮ Integrals involving Rudin-Shapiro polynomials and sketch of a proof of Saffari's conjecture ⋮ The holonomic ansatz. II: Automatic discovery(!) and proof(!!) of holonomic determinant evaluations ⋮ Advanced computer algebra for determinants ⋮ Binomial determinants for tiling problems yield to the holonomic ansatz ⋮ A curious family of binomial determinants that count rhombus tilings of a holey hexagon ⋮ Some determinants of path generating functions
This page was built for software: DET
