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 P_s}
... is translated to the CAS output ...
Semantic latex: \assLegendreP{s}@{z}
Confidence: 0.32468193222273
Mathematica
Translation: LegendreP[s, 0, 3, z]
Information
Sub Equations
- LegendreP[s, 0, 3, z]
Free variables
- s
- z
Symbol info
- associated Legendre polynomial of the first kind; Example: \assLegendreP{nu}@{z}
Will be translated to: LegendreP[$0, 0, 3, $1] Relevant links to definitions: DLMF: http://dlmf.nist.gov/14.21#Ex1 Mathematica: https://reference.wolfram.com/language/ref/LegendreP.html
Tests
Symbolic
Numeric
SymPy
Translation:
Information
Symbol info
- (LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \assLegendreP [\assLegendreP]
Tests
Symbolic
Numeric
Maple
Translation: LegendreP(s, z)
Information
Sub Equations
- LegendreP(s, z)
Free variables
- s
- z
Symbol info
- associated Legendre polynomial of the first kind; Example: \assLegendreP{nu}@{z}
Will be translated to: LegendreP($0, $1) Relevant links to definitions: DLMF: http://dlmf.nist.gov/14.21#Ex1 Maple: https://www.maplesoft.com/support/help/maple/view.aspx?path=LegendreP
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Is part of
Description
- real integral representation
- Fourier
- double coset space
- study of harmonic analysis
- spherical function
- Zonal
- real x
- example
- contour
- point
- integer
- n
- wind
- Legendre polynomial
- positive direction
- graph
- function
- physical science
- m
- polynomial solution
- associated Legendre function
- mathematics
- solution of Legendre 's differential equation
- Bonnet 's recursion formula
- superscript
- Legendre function of the second kind
- Legendre functions of the second kind
Complete translation information:
{
"id" : "FORMULA_f694880f4f18d14b7dc295ec9c09ffae",
"formula" : "P_s",
"semanticFormula" : "\\assLegendreP{s}@{z}",
"confidence" : 0.32468193222273467,
"translations" : {
"Mathematica" : {
"translation" : "LegendreP[s, 0, 3, z]",
"translationInformation" : {
"subEquations" : [ "LegendreP[s, 0, 3, z]" ],
"freeVariables" : [ "s", "z" ],
"tokenTranslations" : {
"\\assLegendreP" : "associated Legendre polynomial of the first kind; Example: \\assLegendreP{nu}@{z}\nWill be translated to: LegendreP[$0, 0, 3, $1]\nRelevant links to definitions:\nDLMF: http://dlmf.nist.gov/14.21#Ex1\nMathematica: https://reference.wolfram.com/language/ref/LegendreP.html"
}
},
"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" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \\assLegendreP [\\assLegendreP]"
}
},
"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" : "LegendreP(s, z)",
"translationInformation" : {
"subEquations" : [ "LegendreP(s, z)" ],
"freeVariables" : [ "s", "z" ],
"tokenTranslations" : {
"\\assLegendreP" : "associated Legendre polynomial of the first kind; Example: \\assLegendreP{nu}@{z}\nWill be translated to: LegendreP($0, $1)\nRelevant links to definitions:\nDLMF: http://dlmf.nist.gov/14.21#Ex1\nMaple: https://www.maplesoft.com/support/help/maple/view.aspx?path=LegendreP"
}
},
"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" : 0,
"word" : 5
} ],
"includes" : [ "P_{n}", "P" ],
"isPartOf" : [ "Q_n(x)=\\begin{cases} \\frac{1}{2} \\log \\frac{1+x}{1-x} & n = 0 \\\\ P_1(x) Q_0(x) - 1 & n = 1 \\\\ \\frac{2n-1}{n} x Q_{n-1}(x) - \\frac{n-1}{n} Q_{n-2}(x) & n \\geq 2 \\,.\\end{cases}", "P_{n}", "P_\\lambda(z) =P^0_\\lambda(z) = \\frac{1}{2\\pi i} \\int_{1,z} \\frac{(t^2-1)^\\lambda}{2^\\lambda(t-z)^{\\lambda+1}}dt", "P_{\\lambda},Q_{\\lambda}", "P_s(x) = \\frac{1}{2\\pi}\\int_{-\\pi}^{\\pi}\\left(x+\\sqrt{x^2-1}\\cos\\theta\\right)^s d\\theta = \\frac{1}{\\pi}\\int_0^1\\left(x+\\sqrt{x^2-1}(2t-1)\\right)^s\\frac{dt}{\\sqrt{t(1-t)}},\\qquad s\\in\\mathbb{C}", "\\hat{f}(s)=\\int_1^\\infty f(x)P_s(x)dx,\\qquad -1\\leq\\Re(s)\\leq 0" ],
"definiens" : [ {
"definition" : "real integral representation",
"score" : 0.6896778755706364
}, {
"definition" : "Fourier",
"score" : 0.6375030048324222
}, {
"definition" : "double coset space",
"score" : 0.6231540443721655
}, {
"definition" : "study of harmonic analysis",
"score" : 0.6231540443721655
}, {
"definition" : "spherical function",
"score" : 0.5758968646127977
}, {
"definition" : "Zonal",
"score" : 0.5758968646127977
}, {
"definition" : "real x",
"score" : 0.5718328188515018
}, {
"definition" : "example",
"score" : 0.5177731136658746
}, {
"definition" : "contour",
"score" : 0.49108322279841077
}, {
"definition" : "point",
"score" : 0.49108322279841077
}, {
"definition" : "integer",
"score" : 0.45198982113614805
}, {
"definition" : "n",
"score" : 0.45198982113614805
}, {
"definition" : "wind",
"score" : 0.45124928246740353
}, {
"definition" : "Legendre polynomial",
"score" : 0.4061721030911277
}, {
"definition" : "positive direction",
"score" : 0.40399210270803576
}, {
"definition" : "graph",
"score" : 0.37675793650793654
}, {
"definition" : "function",
"score" : 0.367356446999208
}, {
"definition" : "physical science",
"score" : 0.34586835176111286
}, {
"definition" : "m",
"score" : 0.31917846089865204
}, {
"definition" : "polynomial solution",
"score" : 0.31917846089865204
}, {
"definition" : "associated Legendre function",
"score" : 0.31917846089364893
}, {
"definition" : "mathematics",
"score" : 0.31917846089364893
}, {
"definition" : "solution of Legendre 's differential equation",
"score" : 0.31917846089364893
}, {
"definition" : "Bonnet 's recursion formula",
"score" : 0.30083261580073695
}, {
"definition" : "superscript",
"score" : 0.2793445215038525
}, {
"definition" : "Legendre function of the second kind",
"score" : 0.2535754360413691
}, {
"definition" : "Legendre functions of the second kind",
"score" : 0.2320873408032739
} ]
}