The $4 \times 4$ minors of a $5 \times 5$ symmetric matrix are a tropical basis

Abstract

This paper proves the $4 \times 4$ minors of a $5 \times 5$ symmetric matrix of indeterminates are a tropical basis.