Mediated access to Symbolic Computation systems: an Openmath approach