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 w_n^{(c)} (s,a,b)=\frac{(a-b+1)_n(a+c+1)_n}{n!} {}_3F_2(-n,a-s,a+s+1;a-b+a,a+c+1;1)}
... is translated to the CAS output ...
Semantic latex: w_n^{(c)} (s,a,b)=\frac{(a-b+1)_n(a+c+1)_n}{n!} {}_3F_2(-n,a-s,a+s+1;a-b+a,a+c+1;1)
Confidence: 0
Mathematica
Translation: (Subscript[w, n])^(c)[s , a , b] == Divide[Subscript[a - b + 1, n]*Subscript[a + c + 1, n],(n)!]Subscript[, 3]*Subscript[F, 2][- n , a - s , a + s + 1 ; a - b + a , a + c + 1 ; 1]
Information
Sub Equations
- (Subscript[w, n])^(c)[s , a , b] = Divide[Subscript[a - b + 1, n]*Subscript[a + c + 1, n],(n)!]Subscript[, 3]*Subscript[F, 2][- n , a - s , a + s + 1 ; a - b + a , a + c + 1 ; 1]
Free variables
- a
- b
- c
- n
- s
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('{w}_{n}'))**(c)(s , a , b) == (Symbol('{a - b + 1}_{n}')*Symbol('{a + c + 1}_{n}'))/(factorial(n))Symbol('{}_{3}')*Symbol('{F}_{2}')(- n , a - s , a + s + 1 ; a - b + a , a + c + 1 ; 1)
Information
Sub Equations
- (Symbol('{w}_{n}'))**(c)(s , a , b) = (Symbol('{a - b + 1}_{n}')*Symbol('{a + c + 1}_{n}'))/(factorial(n))Symbol('{}_{3}')*Symbol('{F}_{2}')(- n , a - s , a + s + 1 ; a - b + a , a + c + 1 ; 1)
Free variables
- a
- b
- c
- n
- s
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: (w[n])^(c)(s , a , b) = (a - b + 1[n]*a + c + 1[n])/(factorial(n))[3]*F[2](- n , a - s , a + s + 1 ; a - b + a , a + c + 1 ; 1)
Information
Sub Equations
- (w[n])^(c)(s , a , b) = (a - b + 1[n]*a + c + 1[n])/(factorial(n))[3]*F[2](- n , a - s , a + s + 1 ; a - b + a , a + c + 1 ; 1)
Free variables
- a
- b
- c
- n
- s
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
- non-uniform lattice
- parameter
Complete translation information:
{
"id" : "FORMULA_265d8b134d483a1a7050a52a2fe6bf6c",
"formula" : "w_n^{(c)} (s,a,b)=\\frac{(a-b+1)_n(a+c+1)_n}{n!} {}_3F_2(-n,a-s,a+s+1;a-b+a,a+c+1;1)",
"semanticFormula" : "w_n^{(c)} (s,a,b)=\\frac{(a-b+1)_n(a+c+1)_n}{n!} {}_3F_2(-n,a-s,a+s+1;a-b+a,a+c+1;1)",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "(Subscript[w, n])^(c)[s , a , b] == Divide[Subscript[a - b + 1, n]*Subscript[a + c + 1, n],(n)!]Subscript[, 3]*Subscript[F, 2][- n , a - s , a + s + 1 ; a - b + a , a + c + 1 ; 1]",
"translationInformation" : {
"subEquations" : [ "(Subscript[w, n])^(c)[s , a , b] = Divide[Subscript[a - b + 1, n]*Subscript[a + c + 1, n],(n)!]Subscript[, 3]*Subscript[F, 2][- n , a - s , a + s + 1 ; a - b + a , a + c + 1 ; 1]" ],
"freeVariables" : [ "a", "b", "c", "n", "s" ],
"tokenTranslations" : {
"F" : "Function without DLMF-Definition. We keep it like it is (but delete prefix \\ if necessary).",
"w" : "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('{w}_{n}'))**(c)(s , a , b) == (Symbol('{a - b + 1}_{n}')*Symbol('{a + c + 1}_{n}'))/(factorial(n))Symbol('{}_{3}')*Symbol('{F}_{2}')(- n , a - s , a + s + 1 ; a - b + a , a + c + 1 ; 1)",
"translationInformation" : {
"subEquations" : [ "(Symbol('{w}_{n}'))**(c)(s , a , b) = (Symbol('{a - b + 1}_{n}')*Symbol('{a + c + 1}_{n}'))/(factorial(n))Symbol('{}_{3}')*Symbol('{F}_{2}')(- n , a - s , a + s + 1 ; a - b + a , a + c + 1 ; 1)" ],
"freeVariables" : [ "a", "b", "c", "n", "s" ],
"tokenTranslations" : {
"F" : "Function without DLMF-Definition. We keep it like it is (but delete prefix \\ if necessary).",
"w" : "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" : "(w[n])^(c)(s , a , b) = (a - b + 1[n]*a + c + 1[n])/(factorial(n))[3]*F[2](- n , a - s , a + s + 1 ; a - b + a , a + c + 1 ; 1)",
"translationInformation" : {
"subEquations" : [ "(w[n])^(c)(s , a , b) = (a - b + 1[n]*a + c + 1[n])/(factorial(n))[3]*F[2](- n , a - s , a + s + 1 ; a - b + a , a + c + 1 ; 1)" ],
"freeVariables" : [ "a", "b", "c", "n", "s" ],
"tokenTranslations" : {
"F" : "Function without DLMF-Definition. We keep it like it is (but delete prefix \\ if necessary).",
"w" : "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" : 0,
"sentence" : 1,
"word" : 12
} ],
"includes" : [ "n" ],
"isPartOf" : [ ],
"definiens" : [ {
"definition" : "non-uniform lattice",
"score" : 0.6460746792928004
}, {
"definition" : "parameter",
"score" : 0.5988174995334326
} ]
}