Frank Wikström

Software and logs for "A computer-assisted proof of Krzyż's conjecture for the sixth coefficient"

This archive contains the software, certification scripts and complete logs of the computer-assisted part of the paper. The computation proves: Theorem. Every M₆-extremal function has exactly six atoms. Here M₆ is the supremum of |a₆| over holomorphic f: 𝔻 → 𝔻∖{0}. Together with the reduction of Agler and McCarthy and...