Matrix Rationalization via Partial Orders. - Agnes Totschnig; Rohit Vasishta; Adrian Vetta (SAGT, 2024)