Saved in:
| Hovedforfatter: | |
|---|---|
| Format: | Recurso digital |
| Sprog: | |
| Udgivet: |
Zenodo
2026
|
| Fag: | |
| Online adgang: | https://doi.org/10.5281/zenodo.19635549 |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|
| _version_ | 1866901501558915072 |
|---|---|
| author | Proof Engine |
| author_facet | Proof Engine |
| contents | <p>Automated fact-verification of the claim: "<em>The binary operator eml is defined by the expression \(\text{eml}(a, b) = \exp(a) - \ln(b)\) (where exp is the exponential function and ln is the principal branch of the natural logarithm). For every real \(x > 0\), the nested expression \(\text{eml}(1, \text{eml}(\text{eml}(1, x), 1))\) equals the natural logarithm \(\ln(x)\).</em>"</p> <p><strong>Verdict: PROVED</strong></p> <h3>Files</h3> <ul> <li><strong>proof.py</strong> — Re-runnable Python verification script</li> <li><strong>proof.md</strong> — Structured proof report</li> <li><strong>proof_audit.md</strong> — Full verification audit trail</li> <li><strong>proof_narrative.md</strong> — Plain-language summary</li> <li><strong>proof.json</strong> — Machine-readable structured data</li> </ul> <p>Generated by <a href="https://github.com/yaniv-golan/proof-engine">Proof Engine</a> v1.18.0.</p> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_19635549 |
| institution | Zenodo |
| language | |
| publishDate | 2026 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | Claim Verification: "The binary operator eml is defined by the expression \(\text{eml}(a, b) = \exp(a) - \ln(b)\) (where exp is the exponential function and ln is the principal branch of the natural logarithm). For every real \(x > 0\), the nested expression \(\text{eml}(1, \text{eml}(\text{eml}(1, x), 1))\) equals the natural logarithm \(\ln(x)\)." — Proved Proof Engine mathematics proof-engine fact-checking automated-verification <p>Automated fact-verification of the claim: "<em>The binary operator eml is defined by the expression \(\text{eml}(a, b) = \exp(a) - \ln(b)\) (where exp is the exponential function and ln is the principal branch of the natural logarithm). For every real \(x > 0\), the nested expression \(\text{eml}(1, \text{eml}(\text{eml}(1, x), 1))\) equals the natural logarithm \(\ln(x)\).</em>"</p> <p><strong>Verdict: PROVED</strong></p> <h3>Files</h3> <ul> <li><strong>proof.py</strong> — Re-runnable Python verification script</li> <li><strong>proof.md</strong> — Structured proof report</li> <li><strong>proof_audit.md</strong> — Full verification audit trail</li> <li><strong>proof_narrative.md</strong> — Plain-language summary</li> <li><strong>proof.json</strong> — Machine-readable structured data</li> </ul> <p>Generated by <a href="https://github.com/yaniv-golan/proof-engine">Proof Engine</a> v1.18.0.</p> |
| title | Claim Verification: "The binary operator eml is defined by the expression \(\text{eml}(a, b) = \exp(a) - \ln(b)\) (where exp is the exponential function and ln is the principal branch of the natural logarithm). For every real \(x > 0\), the nested expression \(\text{eml}(1, \text{eml}(\text{eml}(1, x), 1))\) equals the natural logarithm \(\ln(x)\)." — Proved |
| topic | mathematics proof-engine fact-checking automated-verification |
| url | https://doi.org/10.5281/zenodo.19635549 |