TY  - RPRT
TI  - Non-finite generatedness of the congruences defined by tropical varieties
AU  - Takaaki Ito
PY  - 2026
UR  - https://arxiv.org/abs/2512.21565
ID  - 2512.21565
ER  -