Loading paper
The $4 \times 4$ minors of a $5 \times 5$ symmetric matrix are a tropical basis | Tomesphere