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 F(\phi,k) = \int_0^\phi \frac{\mathrm{d} \theta} {\sqrt{1 - k^2 \sin^2 \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: F(\phi , k) = \int_0^\phi \frac{\mathrm{d} \theta} {\sqrt{1 - k^2 \sin^2 \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) The input LaTeX is invalid: Unable to retrieve free variables for limit expression.
Tests
Symbolic
Numeric
SymPy
Translation:
Information
Symbol info
- (LaTeX -> SymPy) The input LaTeX is invalid: Unable to retrieve free variables for limit expression.
Tests
Symbolic
Numeric
Maple
Translation:
Information
Symbol info
- (LaTeX -> Maple) The input LaTeX is invalid: Unable to retrieve free variables for limit expression.
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Complete translation information:
{
"id" : "FORMULA_78a63a89aa10a001ab3191b584e02f80",
"formula" : "F(\\phi,k) = \\int_0^\\phi \\frac{\\mathrm{d} \\theta} \n{\\sqrt{1 - k^2 \\sin^2 \\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" : "F(\\phi , k) = \\int_0^\\phi \\frac{\\mathrm{d} \\theta} \n{\\sqrt{1 - k^2 \\sin^2 \\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) The input LaTeX is invalid: Unable to retrieve free variables for limit expression."
}
},
"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) The input LaTeX is invalid: Unable to retrieve free variables for limit expression."
}
},
"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) The input LaTeX is invalid: Unable to retrieve free variables for limit expression."
}
},
"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" : [ "F_{1}", "F(\\phi,k) = \\int_0^\\phi \\frac{\\mathrm{d} \\theta} {\\sqrt{1 - k^2 \\sin^2 \\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", "F" ],
"isPartOf" : [ ],
"definiens" : [ ]
}