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{Ei}}

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

Semantic latex: \operatorname{Ei}

Confidence: 0

Mathematica

Translation: E*i

Information

Sub Equations

  • E*i

Free variables

  • E
  • i

Symbol info

  • Was interpreted as a function call because of a leading \operatorname.

Tests

Symbolic
Numeric

SymPy

Translation: E*i

Information

Sub Equations

  • E*i

Free variables

  • E
  • i

Symbol info

  • Was interpreted as a function call because of a leading \operatorname.

Tests

Symbolic
Numeric

Maple

Translation: E*i

Information

Sub Equations

  • E*i

Free variables

  • E
  • i

Symbol info

  • Was interpreted as a function call because of a leading \operatorname.

Tests

Symbolic
Numeric

Dependency Graph Information

Is part of

Description

  • series in the above definition
  • entire function
  • note
  • series
  • formula
  • non-zero real value
  • exponential time
  • function
  • logarithmic integral function li
  • good asymptotic bound for small x
  • Ramanujan
  • form to the ordinary generating function
  • indefinite integral
  • number of divisor
  • behaviour
  • relation
  • positive value
  • exponential integral
  • e.g.
  • connexion with the confluent hypergeometric function
  • branch cut
  • ei
  • notation

Complete translation information:

{
  "id" : "FORMULA_3a4cfb3e1b9de7276ce1158c9b10f9cb",
  "formula" : "\\operatorname{Ei}",
  "semanticFormula" : "\\operatorname{Ei}",
  "confidence" : 0.0,
  "translations" : {
    "Mathematica" : {
      "translation" : "E*i",
      "translationInformation" : {
        "subEquations" : [ "E*i" ],
        "freeVariables" : [ "E", "i" ],
        "tokenTranslations" : {
          "Ei" : "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" : "E*i",
      "translationInformation" : {
        "subEquations" : [ "E*i" ],
        "freeVariables" : [ "E", "i" ],
        "tokenTranslations" : {
          "Ei" : "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" : "E*i",
      "translationInformation" : {
        "subEquations" : [ "E*i" ],
        "freeVariables" : [ "E", "i" ],
        "tokenTranslations" : {
          "Ei" : "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" : 6,
    "sentence" : 0,
    "word" : 1
  } ],
  "includes" : [ ],
  "isPartOf" : [ "-E_1(x) = \\operatorname{Ei}(-x)", "{\\rm Ei} (x) = \\gamma + \\ln x + \\exp{(x/2)} \\sum_{n=1}^\\infty \\frac{ (-1)^{n-1} x^n} {n! \\, 2^{n-1}} \\sum_{k=0}^{\\lfloor (n-1)/2 \\rfloor} \\frac{1}{2k+1}", "1-\\frac{3 x}{4}\\le{\\rm Ei} (x) - \\gamma - \\ln x \\le 1-\\frac{3 x}{4}+\\frac{11 x^2}{36}", "\\lim_{\\delta\\to0+} E_1(-x \\pm i\\delta) = -\\operatorname{Ei}(x) \\mp i\\pi,\\qquad x>0", "\\operatorname{Ei}(x) \\,=\\, \\gamma+\\ln x - \\operatorname{Ein}(-x)\\qquad x>0", "\\operatorname{li}(e^x) = \\operatorname{Ei}(x)", "\\operatorname{Ei}(a \\cdot b) = \\iint e^{a b} \\, da \\, db" ],
  "definiens" : [ {
    "definition" : "series in the above definition",
    "score" : 0.6687181434333315
  }, {
    "definition" : "entire function",
    "score" : 0.6288842031023242
  }, {
    "definition" : "note",
    "score" : 0.6282466340947184
  }, {
    "definition" : "series",
    "score" : 0.42330552869481397
  }, {
    "definition" : "formula",
    "score" : 0.3688954486861829
  }, {
    "definition" : "non-zero real value",
    "score" : 0.3594939591774544
  }, {
    "definition" : "exponential time",
    "score" : 0.33280406830999054
  }, {
    "definition" : "function",
    "score" : 0.33280406830999054
  }, {
    "definition" : "logarithmic integral function li",
    "score" : 0.33280406830999054
  }, {
    "definition" : "good asymptotic bound for small x",
    "score" : 0.32739553012332934
  }, {
    "definition" : "Ramanujan",
    "score" : 0.32739553012332934
  }, {
    "definition" : "form to the ordinary generating function",
    "score" : 0.3249394612202381
  }, {
    "definition" : "indefinite integral",
    "score" : 0.3249394612202381
  }, {
    "definition" : "number of divisor",
    "score" : 0.3249394612202381
  }, {
    "definition" : "behaviour",
    "score" : 0.3249087152448675
  }, {
    "definition" : "relation",
    "score" : 0.3249087152448675
  }, {
    "definition" : "positive value",
    "score" : 0.32490861969792334
  }, {
    "definition" : "exponential integral",
    "score" : 0.29297012797898336
  }, {
    "definition" : "e.g.",
    "score" : 0.28756158979232216
  }, {
    "definition" : "connexion with the confluent hypergeometric function",
    "score" : 0.2457129482196155
  }, {
    "definition" : "branch cut",
    "score" : 0.23781759515449236
  }, {
    "definition" : "ei",
    "score" : 0.2378174996075483
  }, {
    "definition" : "notation",
    "score" : 0.2378174996075483
  } ]
}

Specify your own input