Nivat's conjecture

Source: url:https://github.com/boonsuan/nivat Authors: Boon Suan Ho Status: verified Main declarations: Nivat.nivat, NivatSubmission.nivat Tags: symbolic-dynamics, pattern-complexity, periodicity, Nivat-conjecture, Laurent-polynomials MSC: 37B10, 37B51, 68R15