:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Hart, Justin
Format:	Recurso digital
Language:
Published:	Zenodo 2026
Subjects:	formal verification Lean 4 Mathlib Aristotle Harmonic plasma chemistry nitrogen fixation thermodynamics Haber-Bosch alternative energy efficiency atmospheric N2 Viridis canon machine-checked proof P7 module sustainable agriculture green chemistry
Online Access:	https://doi.org/10.5281/zenodo.20008839
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Completing the Cohomological Extension Package: Section Cocycles and Splitting Criterion for Mathlib
by: Spivack, Nova
Published: (2026)

Canonical Certification Does Not Exhaust Reflective Structure: Reflective Split, Strict Refinement, and Fiber Structure in Infinity Compression
by: Spivack, Nova
Published: (2026)

Abstract Zeta–Möbius Inversion: A Minimal Monoid-Based Schema for Formal Verification
by: Jefferson, Bob
Published: (2026)

Dyadic Geometry of the Zeta Function — Formal Lean Verification
by: Motta, Thiago F.
Published: (2026)

A Lean 4 Proof Architecture for a Normalized 4D Mass Gap Theorem Phase 3 Spectral Gap Formalization and External-Audit Boundary
by: Itakura, Hidetoshi
Published: (2026)

Proof Engine Verification (PROVED): Training and running today's frontier AI models consumes more electricity than entire small countries.
by: Proof Engine
Published: (2026)

Claim Verification: "GLP-1 drugs like Ozempic cause unavoidable major muscle loss and "Ozempic face" even with exercise and high protein intake" — Disproved
by: Proof Engine
Published: (2026)

Claim Verification: "The Pyramid of Giza was built by slaves." — Disproved
by: Proof Engine
Published: (2026)

Claim Verification: "AI hallucinations occur on fewer than 5% of factual questions" — Disproved
by: Proof Engine
Published: (2026)

On the non-existence of non-trivial Collatz cycles: a conditional formal proof in Lean 4 with documented structural obstructions
by: Merle, Eric
Published: (2026)

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
by: Proof Engine
Published: (2026)

Claim Verification: "The binary operator eml is defined by the expression \(\text{eml}(a, b) = \exp(a) - \ln(b)\). There exists a finite binary tree consisting solely of eml operations, whose 9 leaves are drawn from \(\{1, x, y\}\), such that the tree evaluates exactly to \(x \times y\). The tree has K = 17 tokens (8 eml operations and 9 leaves), and the identity holds for all complex \(x\) and \(y\) (in the algebraic setting where \(\ln \circ \exp\) is the identity)." — Proved
by: Proof Engine
Published: (2026)

Claim Verification: "Quantum entanglement enables the transmission of usable information faster than the speed of light when the distant parties pre-agree on a measurement basis." — Disproved
by: Proof Engine
Published: (2026)

LeanC2: Lean 4 formalization for the C2
by: Motta, Thiago F.
Published: (2026)

Prime Density in Permutation Families with Fixed Digital Root Across Numeral Bases: An Empirical Study with a Conditional Hardy–Littlewood Framework and Machine-Verified Algebraic Results
by: Ferraiuolo, Giovanni
Published: (2026)

Semi-formal specifications and formal verification improving the digital design: some statistics
by: D. Torres
Published: (2009)

Sustainable nitrogen fixation: Agrochemical research in food production adapted to planetary limits
by: Lluís Pascual
Published: (2025)

Lean Aps Recursion Uniformization (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Observer Non Exhaustability (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Observer Non Exhaustability (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Representational Incompleteness (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Representational Incompleteness (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Reflexive Closure (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Reflexive Architecture Nonexhaustibility (Lean formalization)
by: Spivack, Nova
Published: (2026)

UGP/GTE Lean formalization
by: Spivack, Nova
Published: (2026)

Lean Nems (Lean formalization)
by: Spivack, Nova
Published: (2026)

El ciclo global del nitrógeno. Una visión para el ecólogo terrestre
by: L. García-Velázquez
Published: (2017)

(Technical Note) What the Ceiling Means: Constructive Schools, Physical Actualisation, and the Fine Structure of BISH+LPO (Paper 43, Constructive Reverse Mathematics Series)
by: Lee, Paul Chun-Kit
Published: (2026)

Three Axioms for the Motive: Constructive Reverse Mathematics Meets Grothendieck's Universal Cohomology (Paper 50, Lean 4 Formalization)
by: Lee, Paul Chun-Kit
Published: (2026)

Carry Mixing and Spectral Gap Analysis of the Collatz Conjecture: 202 Lean4 Theorems and the Fibonacci Firewall
by: Fujimoto, Nobuki, et al.
Published: (2026)

A Finite–Depth Structural Resolution of the Collatz Conjecture via Hierarchical Height Functions and Mother Chains (JNT Submission Version)
by: Matsuua, Yoshihito
Published: (2025)

Three Lineages from One Seed: Machine-Verified Emergence of All Physics
by: Mala, Mark E.
Published: (2026)

The $\Lambda$VSC One-Parameter Cosmological Model: A Unified Analysis of the Cosmological Constant, Singularities, Ultraviolet Divergence, and Hubble Tension with Lean 4 Verification
by: Huang, Tongbing
Published: (2026)

Computer Aided Verification
Published: (2023)

A Novel Versatile Method of Generating Soft Halftone Proofs
by: Dr.Pradeep Kundu
Published: (2024)

Computer Aided Verification
Published: (2023)

Computer Aided Verification of Relational Models by Strategic Rewriting
by: Claudia M. Necco
Published: (2017)

Physchem
Published: (2021)

Introduction to microkinetic modeling
by: Filot, I.A.W.
Published: (2022)

The Role of Mathematics in Chemistry
by: Venkateshwarlu
Published: (2026)