{
  "@context": "https://w3id.org/codemeta/3.0",
  "@type": "SoftwareSourceCode",
  "name": "Claim Verification: \u201cUsing only the eml operator applied to the constant 1 (and allowing complex intermediates), there exist finite expressions that evaluate exactly to the mathematical constant \u03c0 and to the imaginary unit i. These expressions can be verified by symbolic simplification or by numerical evaluation that matches the known values \u03c0 \u2248 3.1415926535 and i\u00b2 = -1 to machine precision.\u201d \u2014 Proved",
  "description": "Verdict: PROVED",
  "version": "1.18.0",
  "dateCreated": "2026-04-16",
  "license": "https://spdx.org/licenses/MIT",
  "codeRepository": "https://github.com/yaniv-golan/proof-engine",
  "url": "https://proofengine.info/proofs/eml-pi-and-i-from-1/",
  "author": [
    {
      "@type": "Organization",
      "name": "Proof Engine"
    }
  ],
  "identifier": "https://doi.org/10.5281/zenodo.19635622",
  "isBasedOn": [
    {
      "@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"
    }
  ]
}