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 f }
... is translated to the CAS output ...
Semantic latex: f
Confidence: 0
Mathematica
Translation: f
Information
Sub Equations
- f
Free variables
- f
Tests
Symbolic
Numeric
SymPy
Translation: f
Information
Sub Equations
- f
Free variables
- f
Tests
Symbolic
Numeric
Maple
Translation: f
Information
Sub Equations
- f
Free variables
- f
Tests
Symbolic
Numeric
Dependency Graph Information
Is part of
Description
- parameter
- Gaussian
- Full width
- function of Lorentz
- simple formula
- total FWHM
- FWHM
- %
- mathematical definition
- pseudo-Voigt profile
- FWHM of the Gaussian profile
- characteristic function
- FWHM of the Lorentzian profile
- rough approximation for the relation
- product
- better approximation with an accuracy
- convolution
- Voigt profile
- width of the Voigt
- Lorentzian profile
- Gaussian profile
Complete translation information:
{
"id" : "FORMULA_8fa14cdd754f91cc6554c9e71929cce7",
"formula" : "f",
"semanticFormula" : "f",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "f",
"translationInformation" : {
"subEquations" : [ "f" ],
"freeVariables" : [ "f" ]
},
"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" : "f",
"translationInformation" : {
"subEquations" : [ "f" ],
"freeVariables" : [ "f" ]
},
"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" : "f",
"translationInformation" : {
"subEquations" : [ "f" ],
"freeVariables" : [ "f" ]
},
"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" : 9,
"sentence" : 5,
"word" : 32
}, {
"section" : 9,
"sentence" : 6,
"word" : 4
} ],
"includes" : [ ],
"isPartOf" : [ "\\eta = 1.36603 (f_L/f) - 0.47719 (f_L/f)^2 + 0.11116(f_L/f)^3", "V_p(x,f) = \\eta \\cdot L(x,f) + (1 - \\eta) \\cdot G(x,f)", "f_G", "\\varphi_f(t;\\sigma,\\gamma,\\mu_\\mathrm{G},\\mu_\\mathrm{L})= e^{i(\\mu_\\mathrm{G}+\\mu_\\mathrm{L})t-\\sigma^2t^2/2 - \\gamma |t|}", "f_L", "\\varphi_f(t;\\sigma,\\gamma) = E(e^{ixt}) = e^{-\\sigma^2t^2/2 - \\gamma |t|}", "f = [f_G^5 + 2.69269 f_G^4 f_L + 2.42843 f_G^3 f_L^2 + 4.47163 f_G^2 f_L^3 + 0.07842 f_G f_L^4 + f_L^5]^{1/5}", "f_\\mathrm{G}=2\\sigma\\sqrt{2\\ln(2)}", "f_\\mathrm{L}=2\\gamma", "f_\\mathrm{V}\\approx f_\\mathrm{L}/2+\\sqrt{f_\\mathrm{L}^2/4+f_\\mathrm{G}^2}", "f_\\mathrm{V}\\approx 0.5346 f_\\mathrm{L}+\\sqrt{0.2166f_\\mathrm{L}^2+f_\\mathrm{G}^2}" ],
"definiens" : [ {
"definition" : "parameter",
"score" : 0.8250517762341018
}, {
"definition" : "Gaussian",
"score" : 0.7458773887005267
}, {
"definition" : "Full width",
"score" : 0.6839477168404777
}, {
"definition" : "function of Lorentz",
"score" : 0.6839477168404777
}, {
"definition" : "simple formula",
"score" : 0.6839477168404777
}, {
"definition" : "total FWHM",
"score" : 0.6678642264784557
}, {
"definition" : "FWHM",
"score" : 0.657257825973014
}, {
"definition" : "%",
"score" : 0.6174238856420067
}, {
"definition" : "mathematical definition",
"score" : 0.485353064068252
}, {
"definition" : "pseudo-Voigt profile",
"score" : 0.4455191237372448
}, {
"definition" : "FWHM of the Gaussian profile",
"score" : 0.44040414143261547
}, {
"definition" : "characteristic function",
"score" : 0.4097145162126788
}, {
"definition" : "FWHM of the Lorentzian profile",
"score" : 0.39027116723178473
}, {
"definition" : "rough approximation for the relation",
"score" : 0.3616262882690492
}, {
"definition" : "product",
"score" : 0.34013819310506976
}, {
"definition" : "better approximation with an accuracy",
"score" : 0.3159352126630119
}, {
"definition" : "convolution",
"score" : 0.31347914375992064
}, {
"definition" : "Voigt profile",
"score" : 0.3134483022376059
}, {
"definition" : "width of the Voigt",
"score" : 0.29510245707057825
}, {
"definition" : "Lorentzian profile",
"score" : 0.27891620602086586
}, {
"definition" : "Gaussian profile",
"score" : 0.27364520342891335
} ]
}