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 \operatorname{Chi}(x) = \gamma+\ln x + \int_0^x\frac{\;\cosh t-1\;}{t}\operatorname{d}t \qquad ~ \text{ for } ~ \left| \operatorname{Arg}(x) \right| < \pi~,}

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

Semantic latex: \coshint@{x} = \EulerConstant + \ln x + \int_0^x \frac{\cosh t-1}{t} \operatorname \diff{t} \qquad for|\operatorname{Arg}(x)|< \cpi

Confidence: 0.65657711352502

Mathematica

Translation:

Information

Symbol info

  • (LaTeX -> Mathematica) The input LaTeX is invalid: \operatorname has no argument

Tests

Symbolic
Numeric

SymPy

Translation:

Information

Symbol info

  • (LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \coshint [\coshint]

Tests

Symbolic
Numeric

Maple

Translation:

Information

Symbol info

  • (LaTeX -> Maple) The input LaTeX is invalid: \operatorname has no argument

Tests

Symbolic
Numeric

Dependency Graph Information

Includes

Is part of

Complete translation information:

{
  "id" : "FORMULA_b2fdf7b45b54deb74a46c6c4c4f64462",
  "formula" : "\\operatorname{Chi}(x) = \\gamma+\\ln x + \\int_0^x\\frac{\\cosh t-1}{t}\\operatorname{d}t \\qquad ~ \\text{ for } ~ \\left| \\operatorname{Arg}(x) \\right| < \\pi~",
  "semanticFormula" : "\\coshint@{x} = \\EulerConstant + \\ln x + \\int_0^x \\frac{\\cosh t-1}{t} \\operatorname \\diff{t} \\qquad for|\\operatorname{Arg}(x)|< \\cpi",
  "confidence" : 0.6565771135250221,
  "translations" : {
    "Mathematica" : {
      "translation" : "",
      "translationInformation" : {
        "tokenTranslations" : {
          "Error" : "(LaTeX -> Mathematica) The input LaTeX is invalid: \\operatorname has no argument"
        }
      }
    },
    "SymPy" : {
      "translation" : "",
      "translationInformation" : {
        "tokenTranslations" : {
          "Error" : "(LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \\coshint [\\coshint]"
        }
      }
    },
    "Maple" : {
      "translation" : "",
      "translationInformation" : {
        "tokenTranslations" : {
          "Error" : "(LaTeX -> Maple) The input LaTeX is invalid: \\operatorname has no argument"
        }
      }
    }
  },
  "positions" : [ ],
  "includes" : [ "\\gamma", "\\pi", "\\operatorname{Chi}(x) = \\gamma+\\ln x + \\int_0^x\\frac{\\;\\cosh t-1\\;}{t}\\operatorname{d}t \\qquad\\text{ for }\\left| \\operatorname{Arg}(x) \\right| < \\pi", "x" ],
  "isPartOf" : [ "\\operatorname{Chi}(x) = \\gamma+\\ln x + \\int_0^x\\frac{\\;\\cosh t-1\\;}{t}\\operatorname{d}t \\qquad\\text{ for }\\left| \\operatorname{Arg}(x) \\right| < \\pi" ],
  "definiens" : [ ]
}

Specify your own input