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

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

Semantic latex: \operatorname{Ci}(x) = - \int_x^\infty \frac{\cos t}{t} \operatorname \diff{t} = \EulerConstant + \ln x - \int_0^x \frac{1 - \cos t}{t} \operatorname \diff{t} \qquad for|\operatorname{Arg}(x)|< \cpi ,

Confidence: 0

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) The input LaTeX is invalid: \operatorname has no argument

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

Complete translation information:

{
  "id" : "FORMULA_a5f064f27f1147a5a55a41c8da1ac274",
  "formula" : "\\operatorname{Ci}(x) = -\\int_x^\\infty \\frac{\\cos t}{t}\\operatorname{d}t = \\gamma + \\ln x - \\int_0^x \\frac{1 - \\cos t}{t}\\operatorname{d}t\n\\qquad ~\\text{ for } ~\\left|\\operatorname{Arg}(x)\\right| < \\pi~,",
  "semanticFormula" : "\\operatorname{Ci}(x) = - \\int_x^\\infty \\frac{\\cos t}{t} \\operatorname \\diff{t} = \\EulerConstant + \\ln x - \\int_0^x \\frac{1 - \\cos t}{t} \\operatorname \\diff{t} \\qquad for|\\operatorname{Arg}(x)|< \\cpi ,",
  "confidence" : 0.0,
  "translations" : {
    "Mathematica" : {
      "translation" : "",
      "translationInformation" : {
        "tokenTranslations" : {
          "Error" : "(LaTeX -> Mathematica) The input LaTeX is invalid: \\operatorname has no argument"
        }
      }
    },
    "SymPy" : {
      "translation" : "",
      "translationInformation" : {
        "tokenTranslations" : {
          "Error" : "(LaTeX -> SymPy) The input LaTeX is invalid: \\operatorname has no argument"
        }
      }
    },
    "Maple" : {
      "translation" : "",
      "translationInformation" : {
        "tokenTranslations" : {
          "Error" : "(LaTeX -> Maple) The input LaTeX is invalid: \\operatorname has no argument"
        }
      }
    }
  },
  "positions" : [ ],
  "includes" : [ "\\gamma", "\\pi", "Ci", "\\operatorname{Ci}(x) = -\\int_x^\\infty \\frac{\\cos t}{t}\\operatorname{d}t = \\gamma + \\ln x - \\int_0^x \\frac{1 - \\cos t}{t}\\operatorname{d}t\\qquad\\text{ for }\\left|\\operatorname{Arg}(x)\\right| < \\pi", "x", "Ci(x)" ],
  "isPartOf" : [ ],
  "definiens" : [ ]
}

Specify your own input