Ren, Yue2017-07-272017-07-272015enTropical Geometry in SINGULARText/Journal Article0933-5994