MathLang Translation to Isabelle Syntax. - Lamar, Robert; Kamareddine, Fairouz; Wells, J. B. (2009)