Acta Cardiologica Sinica, cilt.40, sa.5, ss.618-626, 2024 (SCI-Expanded, Scopus)
This paper proves the $4 \times 4$ minors of a $5 \times 5$ symmetric matrix of indeterminates are a tropical basis.