Allows user to convert from vertex to facet description and vice versa, convex union of two polyhedra, intercestion of two polyhedra, remove redundant vertices or inequalities from vertex or facet description.
This project will provide translation of mathematical content, from TeX to MathML and vice-versa, and to graphics formats, as a web service. TeX, running as a daemon, is used for mathematical typography.