:: Library Catalog

صورة الغلاف

محفوظ في:

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Spivack, Nova
التنسيق:	Recurso digital
اللغة:
منشور في:	Zenodo 2026
الموضوعات:	Lean 4 formal verification
الوصول للمادة أونلاين:	https://doi.org/10.5281/zenodo.20155355
الوسوم:	إضافة وسم لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!

مواد مشابهة

Lean Observer Non Exhaustability (Lean formalization)
حسب: Spivack, Nova
منشور في: (2026)

Lean Representational Incompleteness (Lean formalization)
حسب: Spivack, Nova
منشور في: (2026)

Lean Representational Incompleteness (Lean formalization)
حسب: Spivack, Nova
منشور في: (2026)

Lean Reflexive Closure (Lean formalization)
حسب: Spivack, Nova
منشور في: (2026)

Lean Aps Recursion Uniformization (Lean formalization)
حسب: Spivack, Nova
منشور في: (2026)

Lean Reflexive Architecture Nonexhaustibility (Lean formalization)
حسب: Spivack, Nova
منشور في: (2026)

Lean Nems (Lean formalization)
حسب: Spivack, Nova
منشور في: (2026)

UGP/GTE Lean formalization
حسب: Spivack, Nova
منشور في: (2026)

Completing the Cohomological Extension Package: Section Cocycles and Splitting Criterion for Mathlib
حسب: Spivack, Nova
منشور في: (2026)

Canonical Certification Does Not Exhaust Reflective Structure: Reflective Split, Strict Refinement, and Fiber Structure in Infinity Compression
حسب: Spivack, Nova
منشور في: (2026)

Carry Mixing and Spectral Gap Analysis of the Collatz Conjecture: 202 Lean4 Theorems and the Fibonacci Firewall
حسب: Fujimoto, Nobuki, وآخرون
منشور في: (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
حسب: Huang, Tongbing
منشور في: (2026)

On the non-existence of non-trivial Collatz cycles: a conditional formal proof in Lean 4 with documented structural obstructions
حسب: Merle, Eric
منشور في: (2026)

LeanC2: Lean 4 formalization for the C2
حسب: Motta, Thiago F.
منشور في: (2026)

Abstract Zeta–Möbius Inversion: A Minimal Monoid-Based Schema for Formal Verification
حسب: Jefferson, Bob
منشور في: (2026)

A Lean 4 Proof Architecture for a Normalized 4D Mass Gap Theorem Phase 3 Spectral Gap Formalization and External-Audit Boundary
حسب: Itakura, Hidetoshi
منشور في: (2026)

Dyadic Geometry of the Zeta Function — Formal Lean Verification
حسب: Motta, Thiago F.
منشور في: (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
حسب: Ferraiuolo, Giovanni
منشور في: (2026)

Quantitative Integral Comparison for Monotone Series IV: The Harmonic Sum via Weak Euler–Maclaurin Comparison
حسب: Jefferson, Bob
منشور في: (2026)

Order-Convex Subsets of Grid Posets: A New Exponential Combinatorial Class with Structural Classication, Transfer-Matrix Enumeration, and a Supermultiplicativity Theorem
حسب: DiFiore, Thomas
منشور في: (2026)

Three Lineages from One Seed: Machine-Verified Emergence of All Physics
حسب: Mala, Mark E.
منشور في: (2026)

(Technical Note) What the Ceiling Means: Constructive Schools, Physical Actualisation, and the Fine Structure of BISH+LPO (Paper 43, Constructive Reverse Mathematics Series)
حسب: Lee, Paul Chun-Kit
منشور في: (2026)

Formal Verification of Plasma-Mediated N₂ Fixation — Viridis Applied Proofs Series 1
حسب: Hart, Justin
منشور في: (2026)

Three Axioms for the Motive: Constructive Reverse Mathematics Meets Grothendieck's Universal Cohomology (Paper 50, Lean 4 Formalization)
حسب: Lee, Paul Chun-Kit
منشور في: (2026)

Semi-formal specifications and formal verification improving the digital design: some statistics
حسب: D. Torres
منشور في: (2009)

Lean Manufacturing measurement: The relationships between Lean activities and Lean metrics
حسب: Diego Fernando Manotas Duque
منشور في: (2007)

Verification of transaction level models of embedded systems
حسب: Lucky Lochi Yu Lo
منشور في: (2013)

Assessment of Lean implementation in Hotels’ supply chains
حسب: Guilherme Luz Tortorella
منشور في: (2019)

Lean Principles in Software Development: A Literature Review
حسب: Phalaksha C G
منشور في: (2023)

Análisis Bibliométrico: Herramientas Lean Manufacturing
حسب: Juan Carlos Herrera Vega
منشور في: (2022)

FLT-Coq: Two Conditional Routes (Coverage Parameter and GN(2))
حسب: Dedenko, Grigoriy
منشور في: (2025)

Gestão Lean: Adotando o Pensamento Lean para a Otimização de uma Empresa de Embalagens
حسب: Andrade, Alessandra de S., وآخرون
منشور في: (2025)

Aplicação da Filosofia Lean Construction no Processo Produtivo de uma Empresa do Setor de Construção Civil
حسب: Vítor Felipe e Silva de Oliveira Nery
منشور في: (2017)

Lean philosophy and its applications in the service industry: a review of the current knowledge
حسب: Higor dos Reis Leite
منشور في: (2015)

Adversarial Ensemble Reasoning with Formal Verification: A Methodology for Trustworthy AI-Assisted Scientific Discovery
حسب: Goodman, John
منشور في: (2026)

rvsail v0.16.0 — FMCAD 2026 artifact: BOOM v3 ISA-Compliance proof bundle
حسب: Wu, Yi-De
منشور في: (2026)

Lean construction- LC bajo pensamiento Lean
حسب: Miguel David Rojas López
منشور في: (2017)

Industry 4.0 technologies and Lean Office: perspectives to Smart Office
حسب: Alex Almeida dos Santos
منشور في: (2024)

Lean Manufacturing tools in the industries of Tundama
حسب: Diego Andrés Carreño Dueñas
منشور في: (2018)

Computer Aided Verification
منشور في: (2023)