Abstract: |
In this talk, we will provide a brief overview on computational tropical algebraic geometry. We will cover some bread and butter techniques as well as recent developments. To be precise, we will discuss the computation of tropical links using triangular decomposition and root approximation, the computation of tropical varieties using massive parallelization, and certificates for generating sets which are no tropical bases. We will highlight some applications with special emphasis on those outside of tropical and algebraic geometry. |