The Z_Polyhedra library in Maple presented by Rui-Juan Jing and Marc Moreno Maza at the Maple Conference 2019.
