On computer-assisted classification of coupled integrable equations (Q5894825)

The authors give a classification of (nondecouplable) coupled fifth-order evolution equations, polynomial of scale weight seven with dependent variables having scale weight two, having a generalized symmetry of order seven. The statement of their results, that all such systems are in fact known, appears in Theorem 3.5. These results are obtained using computer algebra, in particular using a triangularization algorithm developed by one of the authors.