Showing 2023 · math.COShow all
2 papers · 2 filters
math.CO2023
Proof of Irvine's Conjecture via Mechanized Guessing
Jeffrey Shallit
We prove a recent conjecture of Sean A. Irvine about a nonlinear recurrence, using mechanized guessing and verification. The theorem-prover Walnut plays a large role in the proof.
math.CO2023
Power-free Complementary Binary Morphisms
Jeffrey Shallit, Arseny M. Shur, Stefan Zorcic
We revisit the topic of power-free morphisms, focusing on the properties of the class of complementary morphisms. Such morphisms are defined over a -letter alphabet, and map the…