Algorithms In Tropical Geometry