LaTeX to CAS translator
This mockup demonstrates the concept of TeX to Computer Algebra System (CAS) conversion.
The demo-application converts LaTeX functions which directly translate to CAS counterparts.
Functions without explicit CAS support are available for translation via a DRMF package (under development).
The following LaTeX input ...
{\displaystyle E(\phi, k) = \int_0^\phi \sqrt{1 - k^2 \sin^2 \theta} \,\mathrm{d} \theta = \sin (\phi) \,F_1(\tfrac 1 2, \tfrac 1 2, -\tfrac 1 2, \tfrac 3 2; \sin^2 \phi, k^2 \sin^2 \phi), \quad |\real \,\phi| < \frac \pi 2 ~, }
... is translated to the CAS output ...
Semantic latex: E(\phi , k) = \int_0^\phi \sqrt{1 - k^2 \sin^2 \theta} \diff{\theta} = \sin(\phi) F_1(\tfrac 12 , \tfrac 12 , - \tfrac 12 , \tfrac 32 ; \sin^2 \phi , k^2 \sin^2 \phi) , \quad|\real \phi|< \frac{\cpi 2}
Confidence: 0
Mathematica
Translation:
Information
Symbol info
- (LaTeX -> Mathematica) CRITICAL! POM-Tagger Error Reached: Encountered "<EOF>" at line 1, column 201.
Was expecting one of:
<LPAREN> ... <RPAREN> ... "{" ... <LBRACKET> ... <RBRACKET> ... <ESCAPED_LBRACE> ... <ESCAPED_RBRACE> ... "\\backslash" ... <LETTER> ... <DIGIT> ... "`" ... "!" ... "@" ... "*" ... "-" ... "=" ... "+" ... "|" ... ";" ... <COLON> ... "\'" ... "\"" ... "," ... <LESS_THEN> ... "." ... <GREATER_THAN> ... "/" ... "?" ... "\\And" ... "\\#" ... "\\%" ... "\\$" ... "\\_" ... "\\&" ... <ESCAPED_SYMBOL_ALLOWED> ... <ESCAPED_SYMBOL_DISALLOWED> ... <FRAC> ... <BINOM> ... "\\stackrel" ... "\\overset" ... "\\underset" ... "\\sqrt" ... <ELLIPSIS> ... "\\dots" ... <TEXT_FONT_TYPEFACE> ... <TEXT_FONT_SIZE> ... <CONTROLLED_SPACE> ... <OTHER_LATEX> ... "\\sqrt" ...
Tests
Symbolic
Numeric
SymPy
Translation:
Information
Symbol info
- (LaTeX -> SymPy) CRITICAL! POM-Tagger Error Reached: Encountered "<EOF>" at line 1, column 201.
Was expecting one of:
<LPAREN> ... <RPAREN> ... "{" ... <LBRACKET> ... <RBRACKET> ... <ESCAPED_LBRACE> ... <ESCAPED_RBRACE> ... "\\backslash" ... <LETTER> ... <DIGIT> ... "`" ... "!" ... "@" ... "*" ... "-" ... "=" ... "+" ... "|" ... ";" ... <COLON> ... "\'" ... "\"" ... "," ... <LESS_THEN> ... "." ... <GREATER_THAN> ... "/" ... "?" ... "\\And" ... "\\#" ... "\\%" ... "\\$" ... "\\_" ... "\\&" ... <ESCAPED_SYMBOL_ALLOWED> ... <ESCAPED_SYMBOL_DISALLOWED> ... <FRAC> ... <BINOM> ... "\\stackrel" ... "\\overset" ... "\\underset" ... "\\sqrt" ... <ELLIPSIS> ... "\\dots" ... <TEXT_FONT_TYPEFACE> ... <TEXT_FONT_SIZE> ... <CONTROLLED_SPACE> ... <OTHER_LATEX> ... "\\sqrt" ...
Tests
Symbolic
Numeric
Maple
Translation:
Information
Symbol info
- (LaTeX -> Maple) CRITICAL! POM-Tagger Error Reached: Encountered "<EOF>" at line 1, column 201.
Was expecting one of:
<LPAREN> ... <RPAREN> ... "{" ... <LBRACKET> ... <RBRACKET> ... <ESCAPED_LBRACE> ... <ESCAPED_RBRACE> ... "\\backslash" ... <LETTER> ... <DIGIT> ... "`" ... "!" ... "@" ... "*" ... "-" ... "=" ... "+" ... "|" ... ";" ... <COLON> ... "\'" ... "\"" ... "," ... <LESS_THEN> ... "." ... <GREATER_THAN> ... "/" ... "?" ... "\\And" ... "\\#" ... "\\%" ... "\\$" ... "\\_" ... "\\&" ... <ESCAPED_SYMBOL_ALLOWED> ... <ESCAPED_SYMBOL_DISALLOWED> ... <FRAC> ... <BINOM> ... "\\stackrel" ... "\\overset" ... "\\underset" ... "\\sqrt" ... <ELLIPSIS> ... "\\dots" ... <TEXT_FONT_TYPEFACE> ... <TEXT_FONT_SIZE> ... <CONTROLLED_SPACE> ... <OTHER_LATEX> ... "\\sqrt" ...
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Is part of
Complete translation information:
{
"id" : "FORMULA_87c73d7b5bfcb85c26ea370ae9cc3561",
"formula" : "E(\\phi, k) = \\int_0^\\phi \\sqrt{1 - k^2 \\sin^2 \\theta} \\mathrm{d} \\theta = \\sin (\\phi) F_1(\\tfrac 12, \\tfrac 12, -\\tfrac 12, \\tfrac 32; \\sin^2 \\phi, k^2 \\sin^2 \\phi), \\quad |\\real \\phi| < \\frac \\pi 2 ~",
"semanticFormula" : "E(\\phi , k) = \\int_0^\\phi \\sqrt{1 - k^2 \\sin^2 \\theta} \\diff{\\theta} = \\sin(\\phi) F_1(\\tfrac 12 , \\tfrac 12 , - \\tfrac 12 , \\tfrac 32 ; \\sin^2 \\phi , k^2 \\sin^2 \\phi) , \\quad|\\real \\phi|< \\frac{\\cpi 2}",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Mathematica) CRITICAL! POM-Tagger Error Reached: Encountered \"<EOF>\" at line 1, column 201.\nWas expecting one of:\n <LPAREN> ...\n <RPAREN> ...\n \"{\" ...\n <LBRACKET> ...\n <RBRACKET> ...\n <ESCAPED_LBRACE> ...\n <ESCAPED_RBRACE> ...\n \"\\\\backslash\" ...\n <LETTER> ...\n <DIGIT> ...\n \"`\" ...\n \"!\" ...\n \"@\" ...\n \"*\" ...\n \"-\" ...\n \"=\" ...\n \"+\" ...\n \"|\" ...\n \";\" ...\n <COLON> ...\n \"\\'\" ...\n \"\\\"\" ...\n \",\" ...\n <LESS_THEN> ...\n \".\" ...\n <GREATER_THAN> ...\n \"/\" ...\n \"?\" ...\n \"\\\\And\" ...\n \"\\\\#\" ...\n \"\\\\%\" ...\n \"\\\\$\" ...\n \"\\\\_\" ...\n \"\\\\&\" ...\n <ESCAPED_SYMBOL_ALLOWED> ...\n <ESCAPED_SYMBOL_DISALLOWED> ...\n <FRAC> ...\n <BINOM> ...\n \"\\\\stackrel\" ...\n \"\\\\overset\" ...\n \"\\\\underset\" ...\n \"\\\\sqrt\" ...\n <ELLIPSIS> ...\n \"\\\\dots\" ...\n <TEXT_FONT_TYPEFACE> ...\n <TEXT_FONT_SIZE> ...\n <CONTROLLED_SPACE> ...\n <OTHER_LATEX> ...\n \"\\\\sqrt\" ...\n "
}
},
"numericResults" : {
"overallResult" : "SKIPPED",
"numberOfTests" : 0,
"numberOfFailedTests" : 0,
"numberOfSuccessfulTests" : 0,
"numberOfSkippedTests" : 0,
"numberOfErrorTests" : 0,
"wasAborted" : false,
"crashed" : false,
"testCalculationsGroups" : [ ]
},
"symbolicResults" : {
"overallResult" : "SKIPPED",
"numberOfTests" : 0,
"numberOfFailedTests" : 0,
"numberOfSuccessfulTests" : 0,
"numberOfSkippedTests" : 0,
"numberOfErrorTests" : 0,
"crashed" : false,
"testCalculationsGroup" : [ ]
}
},
"SymPy" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> SymPy) CRITICAL! POM-Tagger Error Reached: Encountered \"<EOF>\" at line 1, column 201.\nWas expecting one of:\n <LPAREN> ...\n <RPAREN> ...\n \"{\" ...\n <LBRACKET> ...\n <RBRACKET> ...\n <ESCAPED_LBRACE> ...\n <ESCAPED_RBRACE> ...\n \"\\\\backslash\" ...\n <LETTER> ...\n <DIGIT> ...\n \"`\" ...\n \"!\" ...\n \"@\" ...\n \"*\" ...\n \"-\" ...\n \"=\" ...\n \"+\" ...\n \"|\" ...\n \";\" ...\n <COLON> ...\n \"\\'\" ...\n \"\\\"\" ...\n \",\" ...\n <LESS_THEN> ...\n \".\" ...\n <GREATER_THAN> ...\n \"/\" ...\n \"?\" ...\n \"\\\\And\" ...\n \"\\\\#\" ...\n \"\\\\%\" ...\n \"\\\\$\" ...\n \"\\\\_\" ...\n \"\\\\&\" ...\n <ESCAPED_SYMBOL_ALLOWED> ...\n <ESCAPED_SYMBOL_DISALLOWED> ...\n <FRAC> ...\n <BINOM> ...\n \"\\\\stackrel\" ...\n \"\\\\overset\" ...\n \"\\\\underset\" ...\n \"\\\\sqrt\" ...\n <ELLIPSIS> ...\n \"\\\\dots\" ...\n <TEXT_FONT_TYPEFACE> ...\n <TEXT_FONT_SIZE> ...\n <CONTROLLED_SPACE> ...\n <OTHER_LATEX> ...\n \"\\\\sqrt\" ...\n "
}
},
"numericResults" : {
"overallResult" : "SKIPPED",
"numberOfTests" : 0,
"numberOfFailedTests" : 0,
"numberOfSuccessfulTests" : 0,
"numberOfSkippedTests" : 0,
"numberOfErrorTests" : 0,
"wasAborted" : false,
"crashed" : false,
"testCalculationsGroups" : [ ]
},
"symbolicResults" : {
"overallResult" : "SKIPPED",
"numberOfTests" : 0,
"numberOfFailedTests" : 0,
"numberOfSuccessfulTests" : 0,
"numberOfSkippedTests" : 0,
"numberOfErrorTests" : 0,
"crashed" : false,
"testCalculationsGroup" : [ ]
}
},
"Maple" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Maple) CRITICAL! POM-Tagger Error Reached: Encountered \"<EOF>\" at line 1, column 201.\nWas expecting one of:\n <LPAREN> ...\n <RPAREN> ...\n \"{\" ...\n <LBRACKET> ...\n <RBRACKET> ...\n <ESCAPED_LBRACE> ...\n <ESCAPED_RBRACE> ...\n \"\\\\backslash\" ...\n <LETTER> ...\n <DIGIT> ...\n \"`\" ...\n \"!\" ...\n \"@\" ...\n \"*\" ...\n \"-\" ...\n \"=\" ...\n \"+\" ...\n \"|\" ...\n \";\" ...\n <COLON> ...\n \"\\'\" ...\n \"\\\"\" ...\n \",\" ...\n <LESS_THEN> ...\n \".\" ...\n <GREATER_THAN> ...\n \"/\" ...\n \"?\" ...\n \"\\\\And\" ...\n \"\\\\#\" ...\n \"\\\\%\" ...\n \"\\\\$\" ...\n \"\\\\_\" ...\n \"\\\\&\" ...\n <ESCAPED_SYMBOL_ALLOWED> ...\n <ESCAPED_SYMBOL_DISALLOWED> ...\n <FRAC> ...\n <BINOM> ...\n \"\\\\stackrel\" ...\n \"\\\\overset\" ...\n \"\\\\underset\" ...\n \"\\\\sqrt\" ...\n <ELLIPSIS> ...\n \"\\\\dots\" ...\n <TEXT_FONT_TYPEFACE> ...\n <TEXT_FONT_SIZE> ...\n <CONTROLLED_SPACE> ...\n <OTHER_LATEX> ...\n \"\\\\sqrt\" ...\n "
}
},
"numericResults" : {
"overallResult" : "SKIPPED",
"numberOfTests" : 0,
"numberOfFailedTests" : 0,
"numberOfSuccessfulTests" : 0,
"numberOfSkippedTests" : 0,
"numberOfErrorTests" : 0,
"wasAborted" : false,
"crashed" : false,
"testCalculationsGroups" : [ ]
},
"symbolicResults" : {
"overallResult" : "SKIPPED",
"numberOfTests" : 0,
"numberOfFailedTests" : 0,
"numberOfSuccessfulTests" : 0,
"numberOfSkippedTests" : 0,
"numberOfErrorTests" : 0,
"crashed" : false,
"testCalculationsGroup" : [ ]
}
}
},
"positions" : [ ],
"includes" : [ "E(\\phi, k) = \\int_0^\\phi \\sqrt{1 - k^2 \\sin^2 \\theta} \\,\\mathrm{d} \\theta = \\sin (\\phi) \\,F_1(\\tfrac 1 2, \\tfrac 1 2, -\\tfrac 1 2, \\tfrac 3 2; \\sin^2 \\phi, k^2 \\sin^2 \\phi), \\quad |\\real \\,\\phi| < \\frac \\pi 2", "E", "F_{1}", "F" ],
"isPartOf" : [ "E(\\phi, k) = \\int_0^\\phi \\sqrt{1 - k^2 \\sin^2 \\theta} \\,\\mathrm{d} \\theta = \\sin (\\phi) \\,F_1(\\tfrac 1 2, \\tfrac 1 2, -\\tfrac 1 2, \\tfrac 3 2; \\sin^2 \\phi, k^2 \\sin^2 \\phi), \\quad |\\real \\,\\phi| < \\frac \\pi 2" ],
"definiens" : [ ]
}