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(x) = \sum_{k=0}^{\infty} \frac{(2k-1)!!}{2^{k+1} x^{2k+1}} = \frac{1}{2 x} + \frac{1}{4 x^3} + \frac{3}{8 x^5} + \cdots,}
... is translated to the CAS output ...
Semantic latex: F(x) = \sum_{k=0}^{\infty} \frac{(2k-1)!!}{2^{k+1} x^{2k+1}} = \frac{1}{2 x} + \frac{1}{4 x^3} + \frac{3}{8 x^5} + \cdots,
Confidence: 0
Mathematica
Translation: F[x] == Sum[Divide[(2*k - 1)!!,(2)^(k + 1)* (x)^(2*k + 1)], {k, 0, Infinity}, GenerateConditions->None] == Divide[1,2*x]+Divide[1,4*(x)^(3)]+Divide[3,8*(x)^(5)]+ \[Ellipsis]
Information
Sub Equations
- F[x] = Sum[Divide[(2*k - 1)!!,(2)^(k + 1)* (x)^(2*k + 1)], {k, 0, Infinity}, GenerateConditions->None]
Free variables
- x
Symbol info
- Function without DLMF-Definition. We keep it like it is (but delete prefix \ if necessary).
Tests
Symbolic
Numeric
SymPy
Translation: F(x) == Sum((factorial2(2*k - 1))/((2)**(k + 1)* (x)**(2*k + 1)), (k, 0, oo)) == (1)/(2*x)+(1)/(4*(x)**(3))+(3)/(8*(x)**(5))+ null
Information
Sub Equations
- F(x) = Sum((factorial2(2*k - 1))/((2)**(k + 1)* (x)**(2*k + 1)), (k, 0, oo))
Free variables
- x
Symbol info
- Function without DLMF-Definition. We keep it like it is (but delete prefix \ if necessary).
Tests
Symbolic
Numeric
Maple
Translation: F(x) = sum((doublefactorial(2*k - 1))/((2)^(k + 1)* (x)^(2*k + 1)), k = 0..infinity) = (1)/(2*x)+(1)/(4*(x)^(3))+(3)/(8*(x)^(5))+ ..;
Information
Sub Equations
- F(x) = sum((doublefactorial(2*k - 1))/((2)^(k + 1)* (x)^(2*k + 1)), k = 0..infinity)
Free variables
- x
Symbol info
- Function without DLMF-Definition. We keep it like it is (but delete prefix \ if necessary).
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Complete translation information:
{
"id" : "FORMULA_7b0b47752bf91c76621d462de3fe4b8f",
"formula" : "F(x) = \\sum_{k=0}^{\\infty} \\frac{(2k-1)!!}{2^{k+1} x^{2k+1}}\n = \\frac{1}{2 x} + \\frac{1}{4 x^3} + \\frac{3}{8 x^5} + \\cdots,",
"semanticFormula" : "F(x) = \\sum_{k=0}^{\\infty} \\frac{(2k-1)!!}{2^{k+1} x^{2k+1}}\n = \\frac{1}{2 x} + \\frac{1}{4 x^3} + \\frac{3}{8 x^5} + \\cdots,",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "F[x] == Sum[Divide[(2*k - 1)!!,(2)^(k + 1)* (x)^(2*k + 1)], {k, 0, Infinity}, GenerateConditions->None] == Divide[1,2*x]+Divide[1,4*(x)^(3)]+Divide[3,8*(x)^(5)]+ \\[Ellipsis]\n ",
"translationInformation" : {
"subEquations" : [ "F[x] = Sum[Divide[(2*k - 1)!!,(2)^(k + 1)* (x)^(2*k + 1)], {k, 0, Infinity}, GenerateConditions->None]" ],
"freeVariables" : [ "x" ],
"tokenTranslations" : {
"F" : "Function without DLMF-Definition. We keep it like it is (but delete prefix \\ if necessary)."
}
},
"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" : "F(x) == Sum((factorial2(2*k - 1))/((2)**(k + 1)* (x)**(2*k + 1)), (k, 0, oo)) == (1)/(2*x)+(1)/(4*(x)**(3))+(3)/(8*(x)**(5))+ null\n ",
"translationInformation" : {
"subEquations" : [ "F(x) = Sum((factorial2(2*k - 1))/((2)**(k + 1)* (x)**(2*k + 1)), (k, 0, oo))" ],
"freeVariables" : [ "x" ],
"tokenTranslations" : {
"F" : "Function without DLMF-Definition. We keep it like it is (but delete prefix \\ if necessary)."
}
},
"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" : "F(x) = sum((doublefactorial(2*k - 1))/((2)^(k + 1)* (x)^(2*k + 1)), k = 0..infinity) = (1)/(2*x)+(1)/(4*(x)^(3))+(3)/(8*(x)^(5))+ ..; ",
"translationInformation" : {
"subEquations" : [ "F(x) = sum((doublefactorial(2*k - 1))/((2)^(k + 1)* (x)^(2*k + 1)), k = 0..infinity)" ],
"freeVariables" : [ "x" ],
"tokenTranslations" : {
"F" : "Function without DLMF-Definition. We keep it like it is (but delete prefix \\ if necessary)."
}
},
"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(x)", "F(x) = \\sum_{k=0}^{\\infty} \\frac{(2k-1)!!}{2^{k+1} x^{2k+1}} = \\frac{1}{2 x} + \\frac{1}{4 x^3} + \\frac{3}{8 x^5} + \\cdots", "k", "x", "F(y)" ],
"isPartOf" : [ ],
"definiens" : [ ]
}