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 \operatorname{Ci}(x) = -\int_x^\infty \frac{\cos t}{t}\operatorname{d}t = \gamma + \ln x - \int_0^x \frac{1 - \cos t}{t}\operatorname{d}t \qquad ~\text{ for } ~\left|\operatorname{Arg}(x)\right| < \pi~,}
... is translated to the CAS output ...
Semantic latex: \operatorname{Ci}(x) = - \int_x^\infty \frac{\cos t}{t} \operatorname \diff{t} = \EulerConstant + \ln x - \int_0^x \frac{1 - \cos t}{t} \operatorname \diff{t} \qquad for|\operatorname{Arg}(x)|< \cpi ,
Confidence: 0
Mathematica
Translation:
Information
Symbol info
- (LaTeX -> Mathematica) The input LaTeX is invalid: \operatorname has no argument
Tests
Symbolic
Numeric
SymPy
Translation:
Information
Symbol info
- (LaTeX -> SymPy) The input LaTeX is invalid: \operatorname has no argument
Tests
Symbolic
Numeric
Maple
Translation:
Information
Symbol info
- (LaTeX -> Maple) The input LaTeX is invalid: \operatorname has no argument
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Complete translation information:
{
"id" : "FORMULA_a5f064f27f1147a5a55a41c8da1ac274",
"formula" : "\\operatorname{Ci}(x) = -\\int_x^\\infty \\frac{\\cos t}{t}\\operatorname{d}t = \\gamma + \\ln x - \\int_0^x \\frac{1 - \\cos t}{t}\\operatorname{d}t\n\\qquad ~\\text{ for } ~\\left|\\operatorname{Arg}(x)\\right| < \\pi~,",
"semanticFormula" : "\\operatorname{Ci}(x) = - \\int_x^\\infty \\frac{\\cos t}{t} \\operatorname \\diff{t} = \\EulerConstant + \\ln x - \\int_0^x \\frac{1 - \\cos t}{t} \\operatorname \\diff{t} \\qquad for|\\operatorname{Arg}(x)|< \\cpi ,",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Mathematica) The input LaTeX is invalid: \\operatorname has no argument"
}
}
},
"SymPy" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> SymPy) The input LaTeX is invalid: \\operatorname has no argument"
}
}
},
"Maple" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Maple) The input LaTeX is invalid: \\operatorname has no argument"
}
}
}
},
"positions" : [ ],
"includes" : [ "\\gamma", "\\pi", "Ci", "\\operatorname{Ci}(x) = -\\int_x^\\infty \\frac{\\cos t}{t}\\operatorname{d}t = \\gamma + \\ln x - \\int_0^x \\frac{1 - \\cos t}{t}\\operatorname{d}t\\qquad\\text{ for }\\left|\\operatorname{Arg}(x)\\right| < \\pi", "x", "Ci(x)" ],
"isPartOf" : [ ],
"definiens" : [ ]
}