File:MathFoundations158 An introduction to the Tropical calculus