TY - RPRT TI - The $4 \times 4$ minors of a $5 \times 5$ symmetric matrix are a tropical basis AU - Dylan Zwick PY - 2022 UR - https://arxiv.org/abs/2201.01028 ID - 2201.01028 ER -