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 \Phi(z,s,a)=\frac{1}{2a^s}+ \frac{\log^{s-1}(1/z)}{z^a}\Gamma(1-s,a\log(1/z))+ \frac{2}{a^{s-1}} \int_0^\infty \frac{\sin(s\arctan(t)-ta\log(z))}{(1+t^2)^{s/2}(e^{2\pi at}-1)}\,dt }

... is translated to the CAS output ...

Semantic latex: \Phi(z , s , a) = \frac{1}{2a^s} + \frac{\log^{s-1}(1/z)}{z^a} \Gamma(1 - s , a \log(1 / z)) + \frac{2}{a^{s-1}} \int_0^\infty \frac{\sin(s\arctan(t)-ta\log(z))}{(1 + t^2)^{s/2}(\expe^{2 \cpi at} - 1)} dt

Confidence: 0

Mathematica

Translation:

Information

Symbol info

  • (LaTeX -> Mathematica) The input LaTeX is invalid: Unable to retrieve free variables for limit expression.

Tests

Symbolic
Numeric

SymPy

Translation:

Information

Symbol info

  • (LaTeX -> SymPy) The input LaTeX is invalid: Unable to retrieve free variables for limit expression.

Tests

Symbolic
Numeric

Maple

Translation:

Information

Symbol info

  • (LaTeX -> Maple) The input LaTeX is invalid: Unable to retrieve free variables for limit expression.

Tests

Symbolic
Numeric

Dependency Graph Information

Includes

Is part of

Complete translation information:

{
  "id" : "FORMULA_15c606551f778907fa97752c75d7ee4c",
  "formula" : "\\Phi(z,s,a)=\\frac{1}{2a^s}+\n\\frac{\\log^{s-1}(1/z)}{z^a}\\Gamma(1-s,a\\log(1/z))+\n\\frac{2}{a^{s-1}}\n\\int_0^\\infty\n\\frac{\\sin(s\\arctan(t)-ta\\log(z))}{(1+t^2)^{s/2}(e^{2\\pi at}-1)}dt",
  "semanticFormula" : "\\Phi(z , s , a) = \\frac{1}{2a^s} + \\frac{\\log^{s-1}(1/z)}{z^a} \\Gamma(1 - s , a \\log(1 / z)) + \\frac{2}{a^{s-1}} \\int_0^\\infty \\frac{\\sin(s\\arctan(t)-ta\\log(z))}{(1 + t^2)^{s/2}(\\expe^{2 \\cpi at} - 1)} dt",
  "confidence" : 0.0,
  "translations" : {
    "Mathematica" : {
      "translation" : "",
      "translationInformation" : {
        "tokenTranslations" : {
          "Error" : "(LaTeX -> Mathematica) The input LaTeX is invalid: Unable to retrieve free variables for limit expression."
        }
      }
    },
    "SymPy" : {
      "translation" : "",
      "translationInformation" : {
        "tokenTranslations" : {
          "Error" : "(LaTeX -> SymPy) The input LaTeX is invalid: Unable to retrieve free variables for limit expression."
        }
      }
    },
    "Maple" : {
      "translation" : "",
      "translationInformation" : {
        "tokenTranslations" : {
          "Error" : "(LaTeX -> Maple) The input LaTeX is invalid: Unable to retrieve free variables for limit expression."
        }
      }
    }
  },
  "positions" : [ ],
  "includes" : [ "a", "\\Phi(z,s,a)", "z", "s", "\\Phi(z,s,a)=\\frac{1}{2a^s}+\\frac{\\log^{s-1}(1/z)}{z^a}\\Gamma(1-s,a\\log(1/z))+\\frac{2}{a^{s-1}}\\int_0^\\infty\\frac{\\sin(s\\arctan(t)-ta\\log(z))}{(1+t^2)^{s/2}(e^{2\\pi at}-1)}\\,dt" ],
  "isPartOf" : [ "\\Phi(z,s,a)=\\frac{1}{2a^s}+\\frac{\\log^{s-1}(1/z)}{z^a}\\Gamma(1-s,a\\log(1/z))+\\frac{2}{a^{s-1}}\\int_0^\\infty\\frac{\\sin(s\\arctan(t)-ta\\log(z))}{(1+t^2)^{s/2}(e^{2\\pi at}-1)}\\,dt" ],
  "definiens" : [ ]
}

Specify your own input