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 z\operatorname{erfi}(z) - \frac{e^{z^2}}{\sqrt{\pi}}.}
... is translated to the CAS output ...
Semantic latex: z \operatorname{erfi}(z) - \frac{\expe^{z^2}}{\sqrt{\cpi}}
Confidence: 0
Mathematica
Translation: z*erfi[z]-Divide[Exp[(z)^(2)],Sqrt[Pi]]
Information
Sub Equations
- z*erfi[z]-Divide[Exp[(z)^(2)],Sqrt[Pi]]
Free variables
- z
Symbol info
- Recognizes e with power as the exponential function. It was translated as a function.
- Pi was translated to: Pi
- Was interpreted as a function call because of a leading \operatorname.
Tests
Symbolic
Numeric
SymPy
Translation: z*erfi(z)-(exp((z)**(2)))/(sqrt(pi))
Information
Sub Equations
- z*erfi(z)-(exp((z)**(2)))/(sqrt(pi))
Free variables
- z
Symbol info
- Recognizes e with power as the exponential function. It was translated as a function.
- Pi was translated to: pi
- Was interpreted as a function call because of a leading \operatorname.
Tests
Symbolic
Numeric
Maple
Translation: z*erfi(z)-(exp((z)^(2)))/(sqrt(Pi))
Information
Sub Equations
- z*erfi(z)-(exp((z)^(2)))/(sqrt(Pi))
Free variables
- z
Symbol info
- Recognizes e with power as the exponential function. It was translated as a function.
- Pi was translated to: Pi
- Was interpreted as a function call because of a leading \operatorname.
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Description
- imaginary error function
- integration by part
Complete translation information:
{
"id" : "FORMULA_7e6aaf9d14bd06bab156bb944dd24507",
"formula" : "z\\operatorname{erfi}(z) - \\frac{e^{z^2}}{\\sqrt{\\pi}}",
"semanticFormula" : "z \\operatorname{erfi}(z) - \\frac{\\expe^{z^2}}{\\sqrt{\\cpi}}",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "z*erfi[z]-Divide[Exp[(z)^(2)],Sqrt[Pi]]",
"translationInformation" : {
"subEquations" : [ "z*erfi[z]-Divide[Exp[(z)^(2)],Sqrt[Pi]]" ],
"freeVariables" : [ "z" ],
"tokenTranslations" : {
"\\expe" : "Recognizes e with power as the exponential function. It was translated as a function.",
"\\cpi" : "Pi was translated to: Pi",
"erfi" : "Was interpreted as a function call because of a leading \\operatorname."
}
},
"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" : "z*erfi(z)-(exp((z)**(2)))/(sqrt(pi))",
"translationInformation" : {
"subEquations" : [ "z*erfi(z)-(exp((z)**(2)))/(sqrt(pi))" ],
"freeVariables" : [ "z" ],
"tokenTranslations" : {
"\\expe" : "Recognizes e with power as the exponential function. It was translated as a function.",
"\\cpi" : "Pi was translated to: pi",
"erfi" : "Was interpreted as a function call because of a leading \\operatorname."
}
},
"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" : "z*erfi(z)-(exp((z)^(2)))/(sqrt(Pi))",
"translationInformation" : {
"subEquations" : [ "z*erfi(z)-(exp((z)^(2)))/(sqrt(Pi))" ],
"freeVariables" : [ "z" ],
"tokenTranslations" : {
"\\expe" : "Recognizes e with power as the exponential function. It was translated as a function.",
"\\cpi" : "Pi was translated to: Pi",
"erfi" : "Was interpreted as a function call because of a leading \\operatorname."
}
},
"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" : 3,
"word" : 16
} ],
"includes" : [ "z", "z)", "e", "z^{\\bar{n}}", "\\operatorname{erfi}(x)" ],
"isPartOf" : [ ],
"definiens" : [ {
"definition" : "imaginary error function",
"score" : 0.6460746792928004
}, {
"definition" : "integration by part",
"score" : 0.6460746792928004
} ]
}