Geometry and algorithms for upper triangular tropical matrix identities

Marianne Johnson, Ngoc Mai Tran

We provide geometric methods and algorithms to verify, construct and enumerate pairs of words (of specified length over a fixed $m$-letter alphabet) that form identities in the sem…