论文标题
用核桃证明方形和立方体的机械证明
Mechanical proving with Walnut for squares and cubes in partial words
论文作者
论文摘要
核桃是一种使用自动机的软件，可以在有关自动序列的单词上证明定理。我们能够将此软件应用于证明新的结果，并以部分单词避免正方形和立方体的一些旧结果。我们还用部分单词定义了反quare的概念，并开始研究二元部分单词，这些单词仅包含固定数量的不同正方形和反Quares。
Walnut is a software that using automata can prove theorems in combinatorics on words about automatic sequences. We are able to apply this software to both prove new results as well as reprove some old results on avoiding squares and cubes in partial words. We also define the notion of an antisquare in a partial word and begin the study of binary partial words which contain only a fixed number of distinct squares and antisquares.
