We provide a complete characterisation of the appearance function for paper-folding sequences for factors of any length. We make use of the software package {\tt Walnut} to establish these results.
生成讲解博客的中文版本
生成AI智能校验的中文版本