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 (0,0)}

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

Semantic latex: (0,0)

Confidence: 0

Mathematica

Translation: (0 , 0)

Information

Sub Equations

  • (0 , 0)

Tests

Symbolic
Numeric

SymPy

Translation: (0 , 0)

Information

Sub Equations

  • (0 , 0)

Tests

Symbolic
Numeric

Maple

Translation: (0 , 0)

Information

Sub Equations

  • (0 , 0)

Tests

Symbolic
Numeric

Dependency Graph Information

Includes

Description

  • origin
  • curve length
  • parameter
  • Euler spiral
  • infinite length

Complete translation information:

{
  "id" : "FORMULA_5c16f757233856dcf311176b7410d2d5",
  "formula" : "(0,0)",
  "semanticFormula" : "(0,0)",
  "confidence" : 0.0,
  "translations" : {
    "Mathematica" : {
      "translation" : "(0 , 0)",
      "translationInformation" : {
        "subEquations" : [ "(0 , 0)" ]
      },
      "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" : "(0 , 0)",
      "translationInformation" : {
        "subEquations" : [ "(0 , 0)" ]
      },
      "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" : "(0 , 0)",
      "translationInformation" : {
        "subEquations" : [ "(0 , 0)" ]
      },
      "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" : 2,
    "sentence" : 3,
    "word" : 14
  } ],
  "includes" : [ "0" ],
  "isPartOf" : [ ],
  "definiens" : [ {
    "definition" : "origin",
    "score" : 0.722
  }, {
    "definition" : "curve length",
    "score" : 0.6859086196238077
  }, {
    "definition" : "parameter",
    "score" : 0.6460746792928004
  }, {
    "definition" : "Euler spiral",
    "score" : 0.5500952380952381
  }, {
    "definition" : "infinite length",
    "score" : 0.5500952380952381
  } ]
}

Specify your own input