Polymake in Linear and Integer Programming | AMiner