Local and remote user interface for ELIMINO through OMEI. ELIMINO is a new computer-mathematics research system developed to support Wu’s method for computing characteristic sets of polynomials and other related operations. By implementing OMEI as its application programming interface, ELIMINO could make itself IAMC compliant, gain access to the graphical user interface Dragonfly locally and remotely, and provide interoperability with other OMEI compliant tools, such as scientific editors and word processing systems, with minimal efforts.