Image de couverture de livre

Receipts That Move: The Transportable Proof Conjecture (TPC) — A Proposal for Verifiable Decisions

Fuente: Zenodo

Enregistré dans:

Détails bibliographiques
Auteur principal:	Figurelli, Rogério
Format:	Recurso digital
Publié:	Zenodo 2025
Sujets:	transportable proof portable certificate Transportable Proof Conjecture (TPC) Circle-of-Equivalence (CoE) transport receipt auditability governance
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

From Metacognition to Computable Wisdom: Why "Thinking About Thinking" Isn't Enough for Agentic AI
par: Figurelli, Rogério
Publié: (2026)

Layered Recursive Compression as a Structural Proof of the Collatz Conjecture (Version 92)
par: Kawanishi, Yoshihito
Publié: (2025)

Machine-Checkable Weak Covering for the Collatz (3x+1) Problem
par: Kawanishi, Yoshihito
Publié: (2025)

The Kernel–Solver Thesis: Adversarial Learning Toward Verified Mathematical Claims
par: Figurelli, Rogério
Publié: (2026)

Science Needs a "Zero-Trust" Architecture
par: Figurelli, Rogério
Publié: (2026)

Governance Receipt Coverage for Human-AI Decision Systems: Constitutional Signing Authority, Auto-Sign at Emission, and End-to-End Receipt Verification | APR-Lite Phase 14 — Technical Note
par: Truong, Narnaiezzsshaa
Publié: (2026)

Collatz Conjecture: A Reverse Construction Bijective Proof via Layered Directed Acyclic Graphs
par: Aaron Brolin Fish
Publié: (2025)

Stalker's Resolution of the Collatz Conjecture
par: Stalker, Eric
Publié: (2025)

Stalker's Resolution of the Collatz Conjecture
par: Stalker, Eric
Publié: (2025)

CFP-MCFP: Machine-Verified Proofs of Riemann Hypothesis, Goldbach, Yang-Mills, Fermat, Beal, Collatz — Lean 4 Theorem Prover
par: Salden, Alfons H.
Publié: (2026)

Subfields as the Unit of Progress: A Modular Path Through P vs NP
par: Figurelli, Rogério
Publié: (2026)

Journal of Public Transportation
Publié: (2022)

CFP-MCFP Complete Theorem Proofs: 78 Slides with Lean 4 Proof Details
par: Mr. NeC B.V.
Publié: (2026)

Transport Economics and Management
Publié: (2024)

Transportation Safety and Environment
Publié: (2020)

IEEE Open Journal of Intelligent Transportation Systems
Publié: (2020)

Journal of Innovative Transportation
Publié: (2026)

An Unconditional Proof of the Elliott-Halberstam and Twin Prime Conjectures.
par: Okolo, Hanyelichukwu Paul
Publié: (2025)

Transportation Research Interdisciplinary Perspectives
Publié: (2020)

Communications in Transportation Research
Publié: (2021)

European Transport Studies
Publié: (2025)

Proofing Collatz with AI: A Retrospective on an Experimental Publication Process
par: Thaler, Mario Heinrich
Publié: (2025)

Multimodal Transportation
Publié: (2022)

European Transport Research Review
Publié: (2010)

International Journal of Transportation Science and Technology
Publié: (2017)

A Corpus-Domain Overlap Threshold Governs Label-Free Cognometric Transport
par: Rodabaugh, Alexander
Publié: (2026)

International Journal of Transport Development and Integration
Publié: (2020)

Transport Technologies
Publié: (2023)

Un referencial para evaluar la gestión pública en transporte urbano de carga
par: Eduardo Betanzo-Quezada
Publié: (2013)

Smart and Resilient Transportation
Publié: (2021)

Logistics & Sustainable Transport
Publié: (2016)

European Journal of Transport and Infrastructure Research
Publié: (2006)

ANÁLISE TÉCNICA E DE CUSTOS DO TRANSPORTE DE MADEIRA COM DIFERENTES COMPOSIÇÕES VEÍCULARES
par: Rafael Tonetto Alves
Publié: (2013)

Transportes
Publié: (2011)

Transport
Publié: (2018)

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

A rigorous proof of the Riemann Hypothesis using Polylogarithms (Li) and harmonic analysis
par: Bech, David
Publié: (2025)

LIMITACIONES DEL TRANSPORTE AEROCOMERCIAL AL DESARROLLO DEL TURISMOANÁLISIS DE CASO: TRANSPORTE INTERNO EN ARGENTINA
par: Noemí Wallingre
Publié: (2009)

Funciones de costos internos y externos en un modelo estratégico de transporte de carga
par: Luis Gabriel Márquez-Díaz
Publié: (2008)

Communications
Publié: (2022)