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 x \ge 4}

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

Semantic latex: x \ge 4

Confidence: 0

Mathematica

Translation: x >= 4

Information

Sub Equations

  • x >= 4

Free variables

  • x

Tests

Symbolic

Test expression: x\geq4

ERROR:

{
    "result": "ERROR",
    "testTitle": "Simple",
    "testExpression": null,
    "resultExpression": null,
    "wasAborted": false,
    "conditionallySuccessful": false
}
Numeric

SymPy

Translation: x >= 4

Information

Sub Equations

  • x >= 4

Free variables

  • x

Tests

Symbolic
Numeric

Maple

Translation: x >= 4

Information

Sub Equations

  • x >= 4

Free variables

  • x

Tests

Symbolic
Numeric

Dependency Graph Information

Includes

Description

  • Padé
  • auxiliary function
  • error
  • formula
  • integral
  • rational function
  • Rowe et al.

Complete translation information:

{
  "id" : "FORMULA_b0fe139f2cfc7f266b0cbbaa25c4ea8c",
  "formula" : "x \\ge 4",
  "semanticFormula" : "x \\ge 4",
  "confidence" : 0.0,
  "translations" : {
    "Mathematica" : {
      "translation" : "x >= 4",
      "translationInformation" : {
        "subEquations" : [ "x >= 4" ],
        "freeVariables" : [ "x" ]
      },
      "numericResults" : {
        "overallResult" : "SKIPPED",
        "numberOfTests" : 0,
        "numberOfFailedTests" : 0,
        "numberOfSuccessfulTests" : 0,
        "numberOfSkippedTests" : 0,
        "numberOfErrorTests" : 0,
        "wasAborted" : false,
        "crashed" : false,
        "testCalculationsGroups" : [ ]
      },
      "symbolicResults" : {
        "overallResult" : "ERROR",
        "numberOfTests" : 1,
        "numberOfFailedTests" : 0,
        "numberOfSuccessfulTests" : 0,
        "numberOfSkippedTests" : 0,
        "numberOfErrorTests" : 1,
        "crashed" : false,
        "testCalculationsGroup" : [ {
          "lhs" : "x",
          "rhs" : "4",
          "testExpression" : "x\\geq4",
          "testCalculations" : [ {
            "result" : "ERROR",
            "testTitle" : "Simple",
            "testExpression" : null,
            "resultExpression" : null,
            "wasAborted" : false,
            "conditionallySuccessful" : false
          } ]
        } ]
      }
    },
    "SymPy" : {
      "translation" : "x >= 4",
      "translationInformation" : {
        "subEquations" : [ "x >= 4" ],
        "freeVariables" : [ "x" ]
      }
    },
    "Maple" : {
      "translation" : "x >= 4",
      "translationInformation" : {
        "subEquations" : [ "x >= 4" ],
        "freeVariables" : [ "x" ]
      }
    }
  },
  "positions" : [ {
    "section" : 12,
    "sentence" : 1,
    "word" : 41
  } ],
  "includes" : [ "x" ],
  "isPartOf" : [ ],
  "definiens" : [ {
    "definition" : "Padé",
    "score" : 0.722
  }, {
    "definition" : "auxiliary function",
    "score" : 0.6859086196238077
  }, {
    "definition" : "error",
    "score" : 0.6859086196238077
  }, {
    "definition" : "formula",
    "score" : 0.6859086196238077
  }, {
    "definition" : "integral",
    "score" : 0.6859086196238077
  }, {
    "definition" : "rational function",
    "score" : 0.6859086196238077
  }, {
    "definition" : "Rowe et al.",
    "score" : 0.6859086196238077
  } ]
}

Specify your own input