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 L(\lambda, \alpha, s) = \sum_{n=0}^\infty \frac { e^{2\pi i\lambda n}} {(n+\alpha)^s}.}
... is translated to the CAS output ...
Semantic latex: L(\lambda , \alpha , s) = \sum_{n=0}^\infty \frac{\expe^{2 \cpi \iunit \lambda n}{(n+\alpha)^s}}
Confidence: 0
Mathematica
Translation:
Information
Symbol info
- (LaTeX -> Mathematica) CRITICAL! POM-Tagger Error Reached: Encountered "<EOF>" at line 1, column 96.
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 96.
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 96.
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_6a3c8f795e8010fd5d4b6bbea79dc048",
"formula" : "L(\\lambda, \\alpha, s) = \\sum_{n=0}^\\infty\n\\frac { e^{2\\pi i\\lambda n}} {(n+\\alpha)^s}",
"semanticFormula" : "L(\\lambda , \\alpha , s) = \\sum_{n=0}^\\infty \\frac{\\expe^{2 \\cpi \\iunit \\lambda n}{(n+\\alpha)^s}}",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Mathematica) CRITICAL! POM-Tagger Error Reached: Encountered \"<EOF>\" at line 1, column 96.\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 "
}
}
},
"SymPy" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> SymPy) CRITICAL! POM-Tagger Error Reached: Encountered \"<EOF>\" at line 1, column 96.\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 "
}
}
},
"Maple" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Maple) CRITICAL! POM-Tagger Error Reached: Encountered \"<EOF>\" at line 1, column 96.\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 "
}
}
}
},
"positions" : [ ],
"includes" : [ "\\lambda", "L(\\lambda, \\alpha, s) = \\sum_{n=0}^\\infty\\frac { e^{2\\pi i\\lambda n}} {(n+\\alpha)^s}", "L(\\lambda, \\alpha, s)", "s", "n= 0" ],
"isPartOf" : [ "L(\\lambda, \\alpha, s) = \\sum_{n=0}^\\infty\\frac { e^{2\\pi i\\lambda n}} {(n+\\alpha)^s}" ],
"definiens" : [ ]
}