Computer-assisted proofs for finding the monodromy of Picard-Fuchs differential equations for a family of K3 toric hypersurfaces. - Toshimasa Ishige; Akitoshi Takayasu (CoRR, 2025)