TY - RPRT TI - Probably correct row echelon form in the F4 algorithm AU - Alexander Demin PY - 2026 UR - https://arxiv.org/abs/2609.14433 ID - 2609.14433 ER -