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 F'(y)=1-2yF(y)}

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

Semantic latex: F'(y)=1-2yF(y)

Confidence: 0

Mathematica

Translation:

Information

Symbol info

  • (LaTeX -> Mathematica) The input LaTeX is invalid: Primes can only be translated behind semantic macros (differentiation primes) but not in other places.

Tests

Symbolic
Numeric

SymPy

Translation:

Information

Symbol info

  • (LaTeX -> SymPy) The input LaTeX is invalid: Primes can only be translated behind semantic macros (differentiation primes) but not in other places.

Tests

Symbolic
Numeric

Maple

Translation:

Information

Symbol info

  • (LaTeX -> Maple) The input LaTeX is invalid: Primes can only be translated behind semantic macros (differentiation primes) but not in other places.

Tests

Symbolic
Numeric

Dependency Graph Information

Includes

Description

  • y
  • TeX Source
  • Gold ID
  • 2yf
  • F
  • Formula
  • link

Complete translation information:

{
  "id" : "FORMULA_f6b555bd8ce626d90119ab5eafdaeff2",
  "formula" : "F'(y)=1-2yF(y)",
  "semanticFormula" : "F'(y)=1-2yF(y)",
  "confidence" : 0.0,
  "translations" : {
    "Mathematica" : {
      "translation" : "",
      "translationInformation" : {
        "tokenTranslations" : {
          "Error" : "(LaTeX -> Mathematica) The input LaTeX is invalid: Primes can only be translated behind semantic macros (differentiation primes) but not in other places."
        }
      }
    },
    "SymPy" : {
      "translation" : "",
      "translationInformation" : {
        "tokenTranslations" : {
          "Error" : "(LaTeX -> SymPy) The input LaTeX is invalid: Primes can only be translated behind semantic macros (differentiation primes) but not in other places."
        }
      }
    },
    "Maple" : {
      "translation" : "",
      "translationInformation" : {
        "tokenTranslations" : {
          "Error" : "(LaTeX -> Maple) The input LaTeX is invalid: Primes can only be translated behind semantic macros (differentiation primes) but not in other places."
        }
      }
    }
  },
  "positions" : [ {
    "section" : 1,
    "sentence" : 0,
    "word" : 8
  } ],
  "includes" : [ ")=1-" ],
  "isPartOf" : [ ],
  "definiens" : [ {
    "definition" : "y",
    "score" : 0.8426021531523621
  }, {
    "definition" : "TeX Source",
    "score" : 0.722
  }, {
    "definition" : "Gold ID",
    "score" : 0.6954080343007951
  }, {
    "definition" : "2yf",
    "score" : 0.6687181434333315
  }, {
    "definition" : "F",
    "score" : 0.6687181434333315
  }, {
    "definition" : "Formula",
    "score" : 0.6687181434333315
  }, {
    "definition" : "link",
    "score" : 0.6687181434333315
  } ]
}

Specify your own input