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 x \sin(y)+y \cos(y)=0 \Rightarrow x=-y/\tan(y) }
... is translated to the CAS output ...
Semantic latex: x \sin(y)+y \cos(y)=0 \Rightarrow x=-y/\tan(y)
Confidence: 0
Mathematica
Translation:
Information
Symbol info
- (LaTeX -> Mathematica) No translation possible for given token: Unknown relation. Cannot translate: \Rightarrow [\Rightarrow]
Tests
Symbolic
Numeric
SymPy
Translation:
Information
Symbol info
- (LaTeX -> SymPy) No translation possible for given token: Unknown relation. Cannot translate: \Rightarrow [\Rightarrow]
Tests
Symbolic
Numeric
Maple
Translation:
Information
Symbol info
- (LaTeX -> Maple) No translation possible for given token: Unknown relation. Cannot translate: \Rightarrow [\Rightarrow]
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Description
- branch cut
- region
- i.e.
- discontinuous change
- e
- function
- inequality
- non-positive real axis
- polar coordinate
- real axis
Complete translation information:
{
"id" : "FORMULA_94edb1993ab8fff854547bb3efabc02e",
"formula" : "x \\sin(y)+y \\cos(y)=0 \\Rightarrow x=-y/\\tan(y)",
"semanticFormula" : "x \\sin(y)+y \\cos(y)=0 \\Rightarrow x=-y/\\tan(y)",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Mathematica) No translation possible for given token: Unknown relation. Cannot translate: \\Rightarrow [\\Rightarrow]"
}
}
},
"SymPy" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> SymPy) No translation possible for given token: Unknown relation. Cannot translate: \\Rightarrow [\\Rightarrow]"
}
}
},
"Maple" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Maple) No translation possible for given token: Unknown relation. Cannot translate: \\Rightarrow [\\Rightarrow]"
}
}
}
},
"positions" : [ {
"section" : 4,
"sentence" : 4,
"word" : 31
} ],
"includes" : [ "y", "x" ],
"isPartOf" : [ ],
"definiens" : [ {
"definition" : "branch cut",
"score" : 0.8426021531523621
}, {
"definition" : "region",
"score" : 0.8426021531523621
}, {
"definition" : "i.e.",
"score" : 0.6954080343007951
}, {
"definition" : "discontinuous change",
"score" : 0.6687181434333315
}, {
"definition" : "e",
"score" : 0.6687181434333315
}, {
"definition" : "function",
"score" : 0.6687181434333315
}, {
"definition" : "inequality",
"score" : 0.6687181434333315
}, {
"definition" : "non-positive real axis",
"score" : 0.6687181434333315
}, {
"definition" : "polar coordinate",
"score" : 0.6687181434333315
}, {
"definition" : "real axis",
"score" : 0.6687181434333315
} ]
}