LaTeX to CAS translator
Jump to navigation
Jump to search
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 n}
... is translated to the CAS output ...
Semantic latex: n
Confidence: 0
Mathematica
Translation: n
Information
Sub Equations
- n
Free variables
- n
Tests
Symbolic
Numeric
SymPy
Translation: n
Information
Sub Equations
- n
Free variables
- n
Tests
Symbolic
Numeric
Maple
Translation: n
Information
Sub Equations
- n
Free variables
- n
Tests
Symbolic
Numeric
Dependency Graph Information
Is part of
Description
- free variable in the expression
- LaCASt
- equation
- example
- article
- maple
- ingoing dependency
- value
- entry
- next equation in the same article
- custom example
- different variant
- global assumption
- part
- test calculation
- Jacobi polynomial
- introduction
- context of Jacobi polynomial
- other MOI
- Pochhammer 's symbol
- value on the real axis
- variable in the expression
- counterexample
- dependency graph
- dependency graph from Jacobi polynomial
- entire equation
- screenshot to the right
- single sentence context
- value in the figure
- case of the Jacobi polynomial
- context
- Continuous q-Laguerre polynomial
- definition
- editor of the Wikipedia article
- example of the definition
- formula
- hypergeometric function
- Mathematica
- outgoing dependency
- case
- Jacobi polynomial in arxiv.org
- part of any other MOI
- right
Complete translation information:
{
"id" : "FORMULA_7b8b965ad4bca0e41ab51de7b31363a1",
"formula" : "n",
"semanticFormula" : "n",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "n",
"translationInformation" : {
"subEquations" : [ "n" ],
"freeVariables" : [ "n" ]
},
"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" : "n",
"translationInformation" : {
"subEquations" : [ "n" ],
"freeVariables" : [ "n" ]
},
"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" : "n",
"translationInformation" : {
"subEquations" : [ "n" ],
"freeVariables" : [ "n" ]
},
"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" : 6,
"sentence" : 38,
"word" : 15
}, {
"section" : 7,
"sentence" : 46,
"word" : 25
}, {
"section" : 7,
"sentence" : 47,
"word" : 22
}, {
"section" : 7,
"sentence" : 51,
"word" : 27
} ],
"includes" : [ ],
"isPartOf" : [ "(z)_n", "P_n^{(\\alpha,\\beta)}(z)", "(z)_n = \\tfrac{\\Gamma(z+n)}{\\Gamma(z)}", "P_n^{(\\alpha,\\beta)}(x)", "P_n^{(\\alpha,\\beta)}(z)=\\frac{(\\alpha+1)_n}{n!}\\,{}_2F_1\\left(-n,1+\\alpha+\\beta+n;\\alpha+1;\\tfrac{1}{2}(1-z)\\right)", "(\\alpha+1)_n", "P_n^{(\\alpha,\\beta)} (z) = \\frac{\\Gamma (\\alpha+n+1)}{n!\\Gamma (\\alpha+\\beta+n+1)} \\sum_{m=0}^n \\binom{n}{m} \\frac{\\Gamma (\\alpha + \\beta + n + m + 1)}{\\Gamma (\\alpha + m + 1)} \\left(\\frac{z-1}{2}\\right)^m", "P_n^{(\\alpha,\\beta)}(z)=\\frac{(\\alpha+1)_n}{n!}{}_2F_1\\left(-n,1+\\alpha+\\beta+n;\\alpha+1;\\tfrac{1}{2}(1-z)\\right)", "\\alpha = \\frac{3}{2}, \\beta = \\frac{3}{2}, n = 2, z = -\\frac{1}{2}+\\frac{\\sqrt{3i}}{2}", "k, n, m \\in \\mathbb{N}", "p_n(x;a,b,c|q)=a^{-n}e^{-inu}(abe^{2iu},ac,ad;q)_n*_4\\Phi_3(q^{-n},abcdq^{n-1},ae^{i{(t+2u)}},ae^{-it};abe^{2iu},ac,ad;q;q)", "
to avoid the problem with the leading underscore. Hence, our extracted formula was not complete and missed the second half of the expression.\n\n:
<math>P_{n}^{(\\alpha)}(x|q)=\\frac{(q^\\alpha+1;q)_{n}}{(q;q)_{n}}", "_{3}\\Phi_{2}(q^{-n},q^{\\alpha/2+1/4}e^{i\\theta},q^{\\alpha/2+1/4}*e^{-i\\theta};q^{\\alpha+1},0|q,q)", "P_n^{(\\alpha, \\beta)}(x)" ],
"definiens" : [ {
"definition" : "free variable in the expression",
"score" : 0.6601229053380933
}, {
"definition" : "LaCASt",
"score" : 0.6359556369085023
}, {
"definition" : "equation",
"score" : 0.47302923924385665
}, {
"definition" : "example",
"score" : 0.43259151900922077
}, {
"definition" : "article",
"score" : 0.43192078100150877
}, {
"definition" : "maple",
"score" : 0.4173943719314328
}, {
"definition" : "ingoing dependency",
"score" : 0.4059272988113116
}, {
"definition" : "value",
"score" : 0.39003297808777854
}, {
"definition" : "entry",
"score" : 0.35240476190476183
}, {
"definition" : "next equation in the same article",
"score" : 0.34300328264235563
}, {
"definition" : "custom example",
"score" : 0.3430032723960334
}, {
"definition" : "different variant",
"score" : 0.3430032723960334
}, {
"definition" : "global assumption",
"score" : 0.3430032723960334
}, {
"definition" : "part",
"score" : 0.3430032723960334
}, {
"definition" : "test calculation",
"score" : 0.31698488450476003
}, {
"definition" : "Jacobi polynomial",
"score" : 0.31685382325256645
}, {
"definition" : "introduction",
"score" : 0.316314146497048
}, {
"definition" : "context of Jacobi polynomial",
"score" : 0.3163133815285695
}, {
"definition" : "other MOI",
"score" : 0.3163133815285695
}, {
"definition" : "Pochhammer 's symbol",
"score" : 0.3163133815285695
}, {
"definition" : "value on the real axis",
"score" : 0.3163133815285695
}, {
"definition" : "variable in the expression",
"score" : 0.3163133815285695
}, {
"definition" : "counterexample",
"score" : 0.2764794514438846
}, {
"definition" : "dependency graph",
"score" : 0.27647944119756235
}, {
"definition" : "dependency graph from Jacobi polynomial",
"score" : 0.27647944119756235
}, {
"definition" : "entire equation",
"score" : 0.27647944119756235
}, {
"definition" : "screenshot to the right",
"score" : 0.27647944119756235
}, {
"definition" : "single sentence context",
"score" : 0.27647944119756235
}, {
"definition" : "value in the figure",
"score" : 0.27647944119756235
}, {
"definition" : "case of the Jacobi polynomial",
"score" : 0.2292222614381945
}, {
"definition" : "context",
"score" : 0.2292222614381945
}, {
"definition" : "Continuous q-Laguerre polynomial",
"score" : 0.2292222614381945
}, {
"definition" : "definition",
"score" : 0.2292222614381945
}, {
"definition" : "editor of the Wikipedia article",
"score" : 0.2292222614381945
}, {
"definition" : "example of the definition",
"score" : 0.2292222614381945
}, {
"definition" : "formula",
"score" : 0.2292222614381945
}, {
"definition" : "hypergeometric function",
"score" : 0.2292222614381945
}, {
"definition" : "Mathematica",
"score" : 0.2292222614381945
}, {
"definition" : "outgoing dependency",
"score" : 0.2292222614381945
}, {
"definition" : "case",
"score" : 0.1805
}, {
"definition" : "Jacobi polynomial in arxiv.org",
"score" : 0.1805
}, {
"definition" : "part of any other MOI",
"score" : 0.1805
}, {
"definition" : "right",
"score" : 0.1805
} ]
}