Skip to content
Opens in a new window
Solving Quadratic Word Equations
11 August 2026

Solving Quadratic Word Equations

Iowa Type Theory Commute

About

A system of word equations is called quadratic if no variable occurs more than twice in it.  There is an interesting simple algorithm to solve quadratic systems of word equations, which I talk through in this episode.  My source is Chapter 12 of "Algebraic Combinatorics on Words" by Lothaire.