Documentation

LeanPool.FriezePatterns

Maxima of Coxeter frieze patterns are Fibonacci numbers #

Source: arxiv:2407.16717, doi:10.1080/00150517.2024.2430958 Authors: Antoine de Saint-Germain, Akselai, Jon Cheah, Bockman Cheung, Eaton Liu Status: verified Main declarations: main3, FluteBounded, glideSymm, translationInvariance Tags: combinatorics, frieze-patterns, fibonacci, coxeter MSC: 05E15, 11B39, 13F60