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)=x^v\Gamma(-v,x;xy)}
... is translated to the CAS output ...
Semantic latex: K_v(x,y)=x^v\Gamma(-v,x;xy)
Confidence: 0
Mathematica
Translation: Subscript[K, v][x , y] == (x)^(v)* \[CapitalGamma][- v , x ; x*y]
Information
Sub Equations
- Subscript[K, v][x , y] = (x)^(v)* \[CapitalGamma][- v , x ; x*y]
Free variables
- \[CapitalGamma]
- v
- x
- y
Symbol info
- Function without DLMF-Definition. We keep it like it is (but delete prefix \ if necessary).
- 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) == (x)**(v)* Symbol('Gamma')(- v , x ; x*y)
Information
Sub Equations
- Symbol('{K}_{v}')(x , y) = (x)**(v)* Symbol('Gamma')(- v , x ; x*y)
Free variables
- Symbol('Gamma')
- v
- x
- y
Symbol info
- Function without DLMF-Definition. We keep it like it is (but delete prefix \ if necessary).
- Function without DLMF-Definition. We keep it like it is (but delete prefix \ if necessary).
Tests
Symbolic
Numeric
Maple
Translation: K[v](x , y) = (x)^(v)* Gamma(- v , x ; x*y)
Information
Sub Equations
- K[v](x , y) = (x)^(v)* Gamma(- v , x ; x*y)
Free variables
- Gamma
- v
- x
- y
Symbol info
- Function without DLMF-Definition. We keep it like it is (but delete prefix \ if necessary).
- 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_4dbddbcccaf941abfcfc6c9b1b4d908a",
"formula" : "K_v(x,y)=x^v\\Gamma(-v,x;xy)",
"semanticFormula" : "K_v(x,y)=x^v\\Gamma(-v,x;xy)",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "Subscript[K, v][x , y] == (x)^(v)* \\[CapitalGamma][- v , x ; x*y]",
"translationInformation" : {
"subEquations" : [ "Subscript[K, v][x , y] = (x)^(v)* \\[CapitalGamma][- v , x ; x*y]" ],
"freeVariables" : [ "\\[CapitalGamma]", "v", "x", "y" ],
"tokenTranslations" : {
"K" : "Function without DLMF-Definition. We keep it like it is (but delete prefix \\ if necessary).",
"\\Gamma" : "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) == (x)**(v)* Symbol('Gamma')(- v , x ; x*y)",
"translationInformation" : {
"subEquations" : [ "Symbol('{K}_{v}')(x , y) = (x)**(v)* Symbol('Gamma')(- v , x ; x*y)" ],
"freeVariables" : [ "Symbol('Gamma')", "v", "x", "y" ],
"tokenTranslations" : {
"K" : "Function without DLMF-Definition. We keep it like it is (but delete prefix \\ if necessary).",
"\\Gamma" : "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) = (x)^(v)* Gamma(- v , x ; x*y)",
"translationInformation" : {
"subEquations" : [ "K[v](x , y) = (x)^(v)* Gamma(- v , x ; x*y)" ],
"freeVariables" : [ "Gamma", "v", "x", "y" ],
"tokenTranslations" : {
"K" : "Function without DLMF-Definition. We keep it like it is (but delete prefix \\ if necessary).",
"\\Gamma" : "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" : 0
} ],
"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
} ]
}