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 \Omega = 0, k = 0, \kappa = 2h, \Lambda -2h^2 = \lambda, x= z \pm \frac{\pi}{2}}
... is translated to the CAS output ...
Semantic latex: \Omega = 0 , k = 0 , \kappa = 2 h , \Lambda - 2 h^2 = \lambda , x = z \pm \frac{\cpi}{2}
Confidence: 0
Mathematica
Translation: \[CapitalOmega] == 0 k == 0 , \[Kappa] == 2*h , \[CapitalLambda]- 2*(h)^(2) == \[Lambda], x == z \[PlusMinus]Divide[Pi,2]
Information
Sub Equations
- \[CapitalOmega] = 0
k
- 0
k = 0 , \[Kappa]
- 0 , \[Kappa] = 2*h , \[CapitalLambda]- 2*(h)^(2)
- 2*h , \[CapitalLambda]- 2*(h)^(2) = \[Lambda], x
- \[CapitalOmega] = 0
k
- 0
k = 0 , \[Kappa]
- 0 , \[Kappa] = 2*h , \[CapitalLambda]- 2*(h)^(2)
- 2*h , \[CapitalLambda]- 2*(h)^(2) = \[Lambda], x
- 0
k = 0 , \[Kappa]
- 0 , \[Kappa] = 2*h , \[CapitalLambda]- 2*(h)^(2)
- 2*h , \[CapitalLambda]- 2*(h)^(2) = \[Lambda], x
Free variables
- \[CapitalLambda]
- \[CapitalOmega]
- \[Kappa]
- \[Lambda]
- h
- k
- x
- z
Symbol info
- was translated to: \[PlusMinus]
- Pi was translated to: Pi
- Could be The omega constant == the Adamchik constant.
But this system doesn't know how to translate it as a constant. It was translated as a general letter.
Tests
Symbolic
Numeric
SymPy
Translation:
Information
Symbol info
- (LaTeX -> SymPy) An unknown or missing element occurred: Cannot translate operation \pm
Tests
Symbolic
Numeric
Maple
Translation: Omega = 0; k = 0 , kappa = 2*h , Lambda - 2*(h)^(2) = lambda , x = z &+- (Pi)/(2)
Information
Sub Equations
- Omega = 0; k
- 0; k = 0 , kappa
- 0 , kappa = 2*h , Lambda - 2*(h)^(2)
- 2*h , Lambda - 2*(h)^(2) = lambda , x
- Omega = 0; k
- 0; k = 0 , kappa
- 0 , kappa = 2*h , Lambda - 2*(h)^(2)
- 2*h , Lambda - 2*(h)^(2) = lambda , x
- 0; k = 0 , kappa
- 0 , kappa = 2*h , Lambda - 2*(h)^(2)
- 2*h , Lambda - 2*(h)^(2) = lambda , x
Free variables
- Lambda
- Omega
- h
- k
- kappa
- lambda
- x
- z
Symbol info
- was translated to: &+-
- Pi was translated to: Pi
- Could be The omega constant == the Adamchik constant.
But this system doesn't know how to translate it as a constant. It was translated as a general letter.
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Description
- equation
- Mathieu equation
Complete translation information:
{
"id" : "FORMULA_5602d737d38238ae91d286b598fece2c",
"formula" : "\\Omega = 0, k = 0, \\kappa = 2h, \\Lambda -2h^2 = \\lambda, x= z \\pm \\frac{\\pi}{2}",
"semanticFormula" : "\\Omega = 0 , k = 0 , \\kappa = 2 h , \\Lambda - 2 h^2 = \\lambda , x = z \\pm \\frac{\\cpi}{2}",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "\\[CapitalOmega] == 0\n k == 0 , \\[Kappa] == 2*h , \\[CapitalLambda]- 2*(h)^(2) == \\[Lambda], x == z \\[PlusMinus]Divide[Pi,2]",
"translationInformation" : {
"subEquations" : [ "\\[CapitalOmega] = 0\n k", "0\n k = 0 , \\[Kappa]", "0 , \\[Kappa] = 2*h , \\[CapitalLambda]- 2*(h)^(2)", "2*h , \\[CapitalLambda]- 2*(h)^(2) = \\[Lambda], x", "\\[CapitalOmega] = 0\n k", "0\n k = 0 , \\[Kappa]", "0 , \\[Kappa] = 2*h , \\[CapitalLambda]- 2*(h)^(2)", "2*h , \\[CapitalLambda]- 2*(h)^(2) = \\[Lambda], x", "0\n k = 0 , \\[Kappa]", "0 , \\[Kappa] = 2*h , \\[CapitalLambda]- 2*(h)^(2)", "2*h , \\[CapitalLambda]- 2*(h)^(2) = \\[Lambda], x" ],
"freeVariables" : [ "\\[CapitalLambda]", "\\[CapitalOmega]", "\\[Kappa]", "\\[Lambda]", "h", "k", "x", "z" ],
"tokenTranslations" : {
"\\pm" : "was translated to: \\[PlusMinus]",
"\\cpi" : "Pi was translated to: Pi",
"\\Omega" : "Could be The omega constant == the Adamchik constant.\nBut this system doesn't know how to translate it as a constant. It was translated as a general letter.\n"
}
}
},
"SymPy" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> SymPy) An unknown or missing element occurred: Cannot translate operation \\pm"
}
}
},
"Maple" : {
"translation" : "Omega = 0; k = 0 , kappa = 2*h , Lambda - 2*(h)^(2) = lambda , x = z &+- (Pi)/(2)",
"translationInformation" : {
"subEquations" : [ "Omega = 0; k", "0; k = 0 , kappa", "0 , kappa = 2*h , Lambda - 2*(h)^(2)", "2*h , Lambda - 2*(h)^(2) = lambda , x", "Omega = 0; k", "0; k = 0 , kappa", "0 , kappa = 2*h , Lambda - 2*(h)^(2)", "2*h , Lambda - 2*(h)^(2) = lambda , x", "0; k = 0 , kappa", "0 , kappa = 2*h , Lambda - 2*(h)^(2)", "2*h , Lambda - 2*(h)^(2) = lambda , x" ],
"freeVariables" : [ "Lambda", "Omega", "h", "k", "kappa", "lambda", "x", "z" ],
"tokenTranslations" : {
"\\pm" : "was translated to: &+-",
"\\cpi" : "Pi was translated to: Pi",
"\\Omega" : "Could be The omega constant == the Adamchik constant.\nBut this system doesn't know how to translate it as a constant. It was translated as a general letter.\n"
}
}
}
},
"positions" : [ {
"section" : 1,
"sentence" : 6,
"word" : 1
} ],
"includes" : [ "\\Omega", "\\kappa", "\\Omega = 0", "k", "\\Lambda" ],
"isPartOf" : [ ],
"definiens" : [ {
"definition" : "equation",
"score" : 0.722
}, {
"definition" : "Mathieu equation",
"score" : 0.6859086196238077
} ]
}