使用Walnut对部分字中的平方与立方进行机械证明
Mechanical proving with Walnut for squares and cubes in partial words
University of Oregon（俄勒冈大学）
AI总结：
本研究利用自动机定理证明软件Walnut，开展部分字中平方与立方的规避研究，既证明新结果也复证旧结论，还定义了反平方概念并初步研究含固定数量平方与反平方的二元部分字。
摘要：
Walnut是一款利用自动机证明字组合数学中自动序列相关定理的软件。我们将该软件应用于部分字中避免平方与立方的研究，既证明了新结果，也重新证明了部分已有结论。我们还定义了部分字中反平方的概念，并对仅含固定数量不同平方与反平方的二元部分字展开了初步研究。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
