B4: Computations in tropical combinatorics


This project combines combinatorics, geometry and number theory.  Main topics include tropical convexity, tropical linear spaces and Plesek-Zassenhaus orders of diagonal lattices.  A key tool are Bruhat-Tits buildings.