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 K_v(x,y)+K_{-v}(y,x)=\frac{2x^\frac{v}{2}}{y^\frac{v}{2}}K_v(2\sqrt{xy})}
... is translated to the CAS output ...
Semantic latex: K_v(x,y)+K_{-v}(y,x)=\frac{2x^\frac{v}{2}}{y^\frac{v}{2}}K_v(2\sqrt{xy})
Confidence: 0
Mathematica
Translation: Subscript[K, v][x , y]+ Subscript[K, - v][y , x] == Divide[2*(x)^(Divide[v,2]),(y)^(Divide[v,2])]*Subscript[K, v][2*Sqrt[x*y]]
Information
Sub Equations
- Subscript[K, v][x , y]+ Subscript[K, - v][y , x] = Divide[2*(x)^(Divide[v,2]),(y)^(Divide[v,2])]*Subscript[K, v][2*Sqrt[x*y]]
Free variables
- v
- x
- y
Symbol info
- Function without DLMF-Definition. We keep it like it is (but delete prefix \ if necessary).
Tests
Symbolic
Numeric
SymPy
Translation: Symbol('{K}_{v}')(x , y)+ Symbol('{K}_{- v}')(y , x) == (2*(x)**((v)/(2)))/((y)**((v)/(2)))*Symbol('{K}_{v}')(2*sqrt(x*y))
Information
Sub Equations
- Symbol('{K}_{v}')(x , y)+ Symbol('{K}_{- v}')(y , x) = (2*(x)**((v)/(2)))/((y)**((v)/(2)))*Symbol('{K}_{v}')(2*sqrt(x*y))
Free variables
- v
- x
- y
Symbol info
- Function without DLMF-Definition. We keep it like it is (but delete prefix \ if necessary).
Tests
Symbolic
Numeric
Maple
Translation: K[v](x , y)+ K[- v](y , x) = (2*(x)^((v)/(2)))/((y)^((v)/(2)))*K[v](2*sqrt(x*y))
Information
Sub Equations
- K[v](x , y)+ K[- v](y , x) = (2*(x)^((v)/(2)))/((y)^((v)/(2)))*K[v](2*sqrt(x*y))
Free variables
- v
- x
- y
Symbol info
- Function without DLMF-Definition. We keep it like it is (but delete prefix \ if necessary).
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Description
- advantage
- associated Anger -- Weber function
- type incomplete-version of Bessel function
- example
- Digital Library of Mathematical Functions
Complete translation information:
{
"id" : "FORMULA_62b147a0c3c33d24c41822951707dc6d",
"formula" : "K_v(x,y)+K_{-v}(y,x)=\\frac{2x^\\frac{v}{2}}{y^\\frac{v}{2}}K_v(2\\sqrt{xy})",
"semanticFormula" : "K_v(x,y)+K_{-v}(y,x)=\\frac{2x^\\frac{v}{2}}{y^\\frac{v}{2}}K_v(2\\sqrt{xy})",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "Subscript[K, v][x , y]+ Subscript[K, - v][y , x] == Divide[2*(x)^(Divide[v,2]),(y)^(Divide[v,2])]*Subscript[K, v][2*Sqrt[x*y]]",
"translationInformation" : {
"subEquations" : [ "Subscript[K, v][x , y]+ Subscript[K, - v][y , x] = Divide[2*(x)^(Divide[v,2]),(y)^(Divide[v,2])]*Subscript[K, v][2*Sqrt[x*y]]" ],
"freeVariables" : [ "v", "x", "y" ],
"tokenTranslations" : {
"K" : "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" : "Symbol('{K}_{v}')(x , y)+ Symbol('{K}_{- v}')(y , x) == (2*(x)**((v)/(2)))/((y)**((v)/(2)))*Symbol('{K}_{v}')(2*sqrt(x*y))",
"translationInformation" : {
"subEquations" : [ "Symbol('{K}_{v}')(x , y)+ Symbol('{K}_{- v}')(y , x) = (2*(x)**((v)/(2)))/((y)**((v)/(2)))*Symbol('{K}_{v}')(2*sqrt(x*y))" ],
"freeVariables" : [ "v", "x", "y" ],
"tokenTranslations" : {
"K" : "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" : "K[v](x , y)+ K[- v](y , x) = (2*(x)^((v)/(2)))/((y)^((v)/(2)))*K[v](2*sqrt(x*y))",
"translationInformation" : {
"subEquations" : [ "K[v](x , y)+ K[- v](y , x) = (2*(x)^((v)/(2)))/((y)^((v)/(2)))*K[v](2*sqrt(x*y))" ],
"freeVariables" : [ "v", "x", "y" ],
"tokenTranslations" : {
"K" : "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" : [ {
"section" : 1,
"sentence" : 0,
"word" : 1
} ],
"includes" : [ "K_v(x,y)" ],
"isPartOf" : [ ],
"definiens" : [ {
"definition" : "advantage",
"score" : 0.7125985104912714
}, {
"definition" : "associated Anger -- Weber function",
"score" : 0.6460746792928004
}, {
"definition" : "type incomplete-version of Bessel function",
"score" : 0.6460746792928004
}, {
"definition" : "example",
"score" : 0.5500952380952381
}, {
"definition" : "Digital Library of Mathematical Functions",
"score" : 0.5049074255814494
} ]
}