Standard bases in K. - Thomas Markwig (J. Symb. Comput., 2008)

The Tropicalj-Invariant. - Eric Katz; Hannah Markwig; Thomas Markwig (LMS J. Comput. Math., 2009)

Computer Algebra Methods in Tropical Geometry. - Thomas Markwig (ICMS, 2010)

Tropical Surface Singularities. - Hannah Markwig; Thomas Markwig; Eugenii Shustin (Discret. Comput. Geom., 2012)

Gröbner fans of x-homogeneous ideals in R〚t〛[x]. - Thomas Markwig; Yue Ren (J. Symb. Comput., 2017)

Standard bases in mixed power series and polynomial rings over rings. - Thomas Markwig; Yue Ren; Oliver Wienand (J. Symb. Comput., 2017)

Computing Tropical Varieties Over Fields with Valuation. - Thomas Markwig; Yue Ren (Found. Comput. Math., 2020)