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 \gamma> 0,n-p=m-q> 0}
... is translated to the CAS output ...
Semantic latex: \gamma> 0,n-p=m-q> 0
Confidence: 0
Mathematica
Translation: \[Gamma] > 0 n - p == m - q > 0
Information
Sub Equations
- 0
n - p = m - q
Free variables
- \[Gamma]
- m
- n
- p
- q
Symbol info
- Could be the Euler-Mascheroni constant.
But it is also a Greek letter. Be aware, that this program translated the letter as a normal Greek letter and not as a constant! Use the DLMF-Macro \EulerConstant to translate \gamma as a constant.
Tests
Symbolic
Numeric
SymPy
Translation: Symbol('gamma') > 0 n - p == m - q > 0
Information
Sub Equations
- 0
n - p = m - q
Free variables
- Symbol('gamma')
- m
- n
- p
- q
Symbol info
- Could be the Euler-Mascheroni constant.
But it is also a Greek letter. Be aware, that this program translated the letter as a normal Greek letter and not as a constant! Use the DLMF-Macro \EulerConstant to translate \gamma as a constant.
Tests
Symbolic
Numeric
Maple
Translation: gamma > 0; n - p = m - q > 0
Information
Sub Equations
- 0; n - p = m - q
Free variables
- gamma
- m
- n
- p
- q
Symbol info
- Could be the Euler-Mascheroni constant.
But it is also a Greek letter. Be aware, that this program translated the letter as a normal Greek letter and not as a constant! Use the DLMF-Macro \EulerConstant to translate \gamma as a constant.
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Description
- TeX Source
- Formula
- gamma
- link
- m-q
- Gold ID
- n-p
Complete translation information:
{
"id" : "FORMULA_028eb01ef675c90ea0f74fcdd93fc78c",
"formula" : "\\gamma> 0,n-p=m-q> 0",
"semanticFormula" : "\\gamma> 0,n-p=m-q> 0",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "\\[Gamma] > 0\n n - p == m - q > 0",
"translationInformation" : {
"subEquations" : [ "0\n n - p = m - q" ],
"freeVariables" : [ "\\[Gamma]", "m", "n", "p", "q" ],
"tokenTranslations" : {
"\\gamma" : "Could be the Euler-Mascheroni constant.\nBut it is also a Greek letter. Be aware, that this program translated the letter as a normal Greek letter and not as a constant!\nUse the DLMF-Macro \\EulerConstant to translate \\gamma as a constant.\n"
}
}
},
"SymPy" : {
"translation" : "Symbol('gamma') > 0\n n - p == m - q > 0",
"translationInformation" : {
"subEquations" : [ "0\n n - p = m - q" ],
"freeVariables" : [ "Symbol('gamma')", "m", "n", "p", "q" ],
"tokenTranslations" : {
"\\gamma" : "Could be the Euler-Mascheroni constant.\nBut it is also a Greek letter. Be aware, that this program translated the letter as a normal Greek letter and not as a constant!\nUse the DLMF-Macro \\EulerConstant to translate \\gamma as a constant.\n"
}
}
},
"Maple" : {
"translation" : "gamma > 0; n - p = m - q > 0",
"translationInformation" : {
"subEquations" : [ "0; n - p = m - q" ],
"freeVariables" : [ "gamma", "m", "n", "p", "q" ],
"tokenTranslations" : {
"\\gamma" : "Could be the Euler-Mascheroni constant.\nBut it is also a Greek letter. Be aware, that this program translated the letter as a normal Greek letter and not as a constant!\nUse the DLMF-Macro \\EulerConstant to translate \\gamma as a constant.\n"
}
}
}
},
"positions" : [ {
"section" : 1,
"sentence" : 0,
"word" : 8
} ],
"includes" : [ "> 0" ],
"isPartOf" : [ ],
"definiens" : [ {
"definition" : "TeX Source",
"score" : 0.722
}, {
"definition" : "Formula",
"score" : 0.7125985104912714
}, {
"definition" : "gamma",
"score" : 0.7125985104912714
}, {
"definition" : "link",
"score" : 0.6859086196238077
}, {
"definition" : "m-q",
"score" : 0.6859086196238077
}, {
"definition" : "Gold ID",
"score" : 0.6460746792928004
}, {
"definition" : "n-p",
"score" : 0.6460746792928004
} ]
}