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 u(x) = C_1 H_\lambda(x) }
... is translated to the CAS output ...
Semantic latex: u(x) = C_1 \HermitepolyH{\lambda}@{x}
Confidence: 0.6805
Mathematica
Translation: u[x] == Subscript[C, 1]*HermiteH[\[Lambda], x]
Information
Sub Equations
- u[x] = Subscript[C, 1]*HermiteH[\[Lambda], x]
Free variables
- Subscript[C, 1]
- \[Lambda]
- x
Symbol info
- Function without DLMF-Definition. We keep it like it is (but delete prefix \ if necessary).
- Hermite polynomial; Example: \HermitepolyH{n}@{x}
Will be translated to: HermiteH[$0, $1] Relevant links to definitions: DLMF: http://dlmf.nist.gov/18.3#T1.t1.r13 Mathematica: https://reference.wolfram.com/language/ref/HermiteH.html
Tests
Symbolic
Numeric
SymPy
Translation:
Information
Symbol info
- (LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \HermitepolyH [\HermitepolyH]
Tests
Symbolic
Numeric
Maple
Translation: u(x) = C[1]*HermiteH(lambda, x)
Information
Sub Equations
- u(x) = C[1]*HermiteH(lambda, x)
Free variables
- C[1]
- lambda
- x
Symbol info
- Function without DLMF-Definition. We keep it like it is (but delete prefix \ if necessary).
- Hermite polynomial; Example: \HermitepolyH{n}@{x}
Will be translated to: HermiteH($0, $1) Relevant links to definitions: DLMF: http://dlmf.nist.gov/18.3#T1.t1.r13 Maple: https://www.maplesoft.com/support/help/maple/view.aspx?path=HermiteH
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Is part of
Description
- form
- solution
- boundary condition
- term of physicists ' Hermite polynomial
- infinity
- constant
- example
- first kind
- general solution
- physicists ' hermite
- physicists ' Hermite equation
- physicists ' Hermite polynomial
- second kind
- non-negative integer
- equation
Complete translation information:
{
"id" : "FORMULA_310ae0f616c5c863730ce83db9b221f2",
"formula" : "u(x) = C_1 H_\\lambda(x)",
"semanticFormula" : "u(x) = C_1 \\HermitepolyH{\\lambda}@{x}",
"confidence" : 0.6805,
"translations" : {
"Mathematica" : {
"translation" : "u[x] == Subscript[C, 1]*HermiteH[\\[Lambda], x]",
"translationInformation" : {
"subEquations" : [ "u[x] = Subscript[C, 1]*HermiteH[\\[Lambda], x]" ],
"freeVariables" : [ "Subscript[C, 1]", "\\[Lambda]", "x" ],
"tokenTranslations" : {
"u" : "Function without DLMF-Definition. We keep it like it is (but delete prefix \\ if necessary).",
"\\HermitepolyH" : "Hermite polynomial; Example: \\HermitepolyH{n}@{x}\nWill be translated to: HermiteH[$0, $1]\nRelevant links to definitions:\nDLMF: http://dlmf.nist.gov/18.3#T1.t1.r13\nMathematica: https://reference.wolfram.com/language/ref/HermiteH.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: \\HermitepolyH [\\HermitepolyH]"
}
},
"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" : "u(x) = C[1]*HermiteH(lambda, x)",
"translationInformation" : {
"subEquations" : [ "u(x) = C[1]*HermiteH(lambda, x)" ],
"freeVariables" : [ "C[1]", "lambda", "x" ],
"tokenTranslations" : {
"u" : "Function without DLMF-Definition. We keep it like it is (but delete prefix \\ if necessary).",
"\\HermitepolyH" : "Hermite polynomial; Example: \\HermitepolyH{n}@{x}\nWill be translated to: HermiteH($0, $1)\nRelevant links to definitions:\nDLMF: http://dlmf.nist.gov/18.3#T1.t1.r13\nMaple: https://www.maplesoft.com/support/help/maple/view.aspx?path=HermiteH"
}
},
"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" : 5,
"sentence" : 4,
"word" : 15
} ],
"includes" : [ "H", "\\lambda", "u", "He_\\lambda(x)", "C_{1}", "u(x) = C_1 He_\\lambda(x)", "H_{n}", "H_{n}(x)", "H_\\lambda(x)", "h_\\lambda(x)", "x", "H_{n}(y)" ],
"isPartOf" : [ "u(x) = C_1 He_\\lambda(x)", "u(x) = C_1 H_\\lambda(x) + C_2 h_\\lambda(x)" ],
"definiens" : [ {
"definition" : "form",
"score" : 0.8552513690552246
}, {
"definition" : "solution",
"score" : 0.8429392685041107
}, {
"definition" : "boundary condition",
"score" : 0.7183926418815555
}, {
"definition" : "term of physicists ' Hermite polynomial",
"score" : 0.6629879847031728
}, {
"definition" : "infinity",
"score" : 0.6033296963075332
}, {
"definition" : "constant",
"score" : 0.5718328188515018
}, {
"definition" : "example",
"score" : 0.5718328188515018
}, {
"definition" : "first kind",
"score" : 0.5718328188515018
}, {
"definition" : "general solution",
"score" : 0.5718328188515018
}, {
"definition" : "physicists ' hermite",
"score" : 0.5718328188515018
}, {
"definition" : "physicists ' Hermite equation",
"score" : 0.5718328188515018
}, {
"definition" : "physicists ' Hermite polynomial",
"score" : 0.5718328188515018
}, {
"definition" : "second kind",
"score" : 0.5718328188515018
}, {
"definition" : "non-negative integer",
"score" : 0.49108322279841077
}, {
"definition" : "equation",
"score" : 0.40399210270803576
} ]
}