Tropical geometry is a relative new subject area at the interface between algebraic geometry and combinatorics with exciting applications in biology, optimization, statistics, to name just a few. It provides a framework to degenerate algebraic varieties to polyhedral and combinatorial objects, which can be studied with new and efficient computational methods. Computer algebra provides algorithms (and their implementations) for computations with algebraic structures.
The goal of our group is to build new bridges between tropical and algebraic geometry via computational methods. This involves the study of fundamental problems in tropical geometry, and the use and development of state-of-the-art software.