Tropical constructive Pappus’ theorem
Luis Felipe Tabera · 2005
In this paper, we state a correspondence between classical and tropical Cramer’s rule. This correspondence will allow us to compare linear geometric constructions in the projective and tropical spaces. In particular, we prove a constructive version of Pappus ’ theorem, as conjectured by Ritcher-Gebert, Sturmfels and Theobald. 1