Manuscript II@2 · II.tex · section · 50d64def

All raw entries

Complete matrix encoding and the finite certificate › All raw entries · lines 1463–1474

Back to manuscript

This is a complete exact encoding, not a claim that a catalogue-wide program was executed. For a compatible species word, there are four compatible external assignments. Sparse component enumeration uses at most

products per assignment before the matching constraints.

Displayed formulas in this passage

  • unlabeled · line 1470

Nearby in this section