2026-07-22T16:00:31Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:16132 2024-03-06T10:56:38Z ddc:004 open_access

Mechanical Proving with Walnut for Squares and Cubes in Partial Words Machacek, John Partial words squares antisquares cubes Walnut Walnut is a software that 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik John Machacek 2022 Is Part Of LIPIcs, Volume 223, 33rd Annual Symposium on Combinatorial Pattern Matching (CPM 2022) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CPM.2022.5 urn:nbn:de:0030-drops-161320 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CPM.2022.5 eng https://creativecommons.org/licenses/by/4.0/legalcode