TY  - RPRT
TI  - Exact certification of the coordinate fields of the triangle-free Exoo-Ismailescu unit-distance graphs EI17 and EI19 (HoG 51375, 51376): a solvable-non-solvable dichotomy (origami vs. S20) and the Laman-number conjecture
AU  - Haroldo Costa Silva Filho
PY  - 2026
UR  - https://arxiv.org/abs/2607.19995
ID  - 2607.19995
ER  -