{
  "@context": "https://w3id.org/codemeta/3.0",
  "@type": "SoftwareSourceCode",
  "name": "Claim Verification: \u201cEvery elementary function that appears on a standard scientific calculator \u2014 including +, \u00d7, , exponentiation x\u02b8, , , , \u221ax, \u2081\u2080, \u03c0, e, i, and their compositions and inverses \u2014 can be realised as a finite binary tree of the operator eml(a, b) = e\u1d43 -  b whose leaves are the constant 1 and the input variables. Each construction is verified to machine precision at multiple test points on its natural domain.\u201d \u2014 Proved",
  "description": "Verdict: PROVED",
  "version": "1.18.0",
  "dateCreated": "2026-04-17",
  "license": "https://spdx.org/licenses/MIT",
  "codeRepository": "https://github.com/yaniv-golan/proof-engine",
  "url": "https://proofengine.info/proofs/eml-calculator-closure/",
  "author": [
    {
      "@type": "Organization",
      "name": "Proof Engine"
    }
  ],
  "identifier": "https://doi.org/10.5281/zenodo.19635623",
  "isBasedOn": [
    {
      "@type": "CreativeWork",
      "@id": "https://doi.org/10.5281/zenodo.19626393",
      "identifier": [
        "https://proofengine.info/proofs/the-binary-operator-eml-is-defined-by-the-expression-text-eml-a-b-exp-a-ln-b/",
        "https://doi.org/10.5281/zenodo.19626393"
      ],
      "name": "eml definition"
    },
    {
      "@type": "CreativeWork",
      "@id": "https://doi.org/10.5281/zenodo.19626399",
      "identifier": [
        "https://proofengine.info/proofs/the-binary-operator-defined-by-text-eml-a-b-exp-a-ln-b-satisfies-text-eml-x-1/",
        "https://doi.org/10.5281/zenodo.19626399"
      ],
      "name": "EXP identity eml(x,1)=exp(x)"
    },
    {
      "@type": "CreativeWork",
      "@id": "https://doi.org/10.5281/zenodo.19626401",
      "identifier": [
        "https://proofengine.info/proofs/eml-triple-nesting-recovers-ln-x/",
        "https://doi.org/10.5281/zenodo.19626401"
      ],
      "name": "LN identity from K=7 triple nesting"
    },
    {
      "@type": "CreativeWork",
      "@id": "https://doi.org/10.5281/zenodo.19626406",
      "identifier": [
        "https://proofengine.info/proofs/eml-k19-addition-tree/",
        "https://doi.org/10.5281/zenodo.19626406"
      ],
      "name": "Addition via K=19 eml tree"
    },
    {
      "@type": "CreativeWork",
      "@id": "https://doi.org/10.5281/zenodo.19626409",
      "identifier": [
        "https://proofengine.info/proofs/eml-k17-multiplication-tree/",
        "https://doi.org/10.5281/zenodo.19626409"
      ],
      "name": "Multiplication via K=17 eml tree"
    },
    {
      "@type": "CreativeWork",
      "@id": "https://doi.org/10.5281/zenodo.19626411",
      "identifier": [
        "https://proofengine.info/proofs/eml-pi-and-i-from-1/",
        "https://doi.org/10.5281/zenodo.19626411"
      ],
      "name": "\u03c0 and i from constant 1"
    }
  ]
}