Testing Method 2:

To determine if MathML expressions produced are MathML compliant, we shall translate them back to OpenMath. If the translator reads through them correctly then we can conclude the expressions are compliant. Furthermore, we will try and render the generated MathML expressions using IBM's TechExplorer. If TechExplorer renders all MathML expressions generated then we have more reason's to confirm that the MathML output is MathML compliant. We must keep in mind that the translator produces both MathML 1.0 and MathML 2.0