:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Zhuk, Igor
Format:	Recurso digital
Language:
Published:	Zenodo 2026
Online Access:	https://doi.org/10.5281/zenodo.19162523
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Proofs for Free in the $λΠ$-Calculus Modulo Theory
by: Traversié, Thomas
Published: (2024)

Revisiting Stochastic Realization Theory using Functional Itô Calculus
by: Veeravalli, Tanya, et al.
Published: (2024)

Dual Resolution of Causal Set Theory Through ENSO Framework: Mathematical Certainty and Physical Realization
by: Needham, Eric
Published: (2025)

THE ONTOLOGY OF THE DOT
by: José Mármol Martínez
Published: (2017)

A simplified proof of the CSP Dichotomy Conjecture and XY-symmetric operations
by: Zhuk, Dmitriy
Published: (2024)

Singleton algorithms for the Constraint Satisfaction Problem
by: Zhuk, Dmitriy
Published: (2025)

$Π_{2}^{P}$ vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem
by: Zhuk, Dmitriy
Published: (2024)

Proofs as Execution Trees for the π-Calculus
by: Acclavio, Matteo, et al.
Published: (2024)

Mathematical Foundations of Modular Calculus
by: Chouqair, Issam
Published: (2026)

Meta-Mathematics of Computational Complexity Theory
by: Oliveira, Igor C.
Published: (2025)

Holomorphic Functional Calculus approach to the Characteristic Function of Quantum Observables
by: Boukas, Andreas
Published: (2024)

Mathematical Proof
by: Bauschke, Heinz H.
Published: (2026)

Epsilon Calculus Provides Shorter Cut-Free Proofs
by: Baaz, Matthias, et al.
Published: (2024)

Operational Realization of the Canonical Quotient for Structural Market Observability
by: Charlier, Rony
Published: (2026)

Octahedrality and Gâteaux smoothness
by: Cobollo, Ch., et al.
Published: (2024)

Roadside Pollinators Program (DOT)
Published: (2026)

Dimensional overlap theory (DOT)
by: Vandiermen, Mark Leonard
Published: (2025)

DOTTY ABOUT DOT.COMMERCE?
Published: (2000)

Low‐ or No‐Emission Program (DOT)
Published: (2025)

Neural Octahedral Field: Octahedral prior for simultaneous smoothing and sharp edge regularization
by: Zheng, Ruichen, et al.
Published: (2024)

A Graph-Based Framework for Exploring Mathematical Patterns in Physics: A Proof of Concept
by: Romiti, Massimiliano
Published: (2025)

A Physical and Mathematical Framework for the Semantic Theory of Evolution
by: Fioretti, Guido
Published: (2025)

The Computational Horizon: Physical Realizability as a Criterion for Mathematical Decidability
by: Yang, Jiaxuan
Published: (2026)

A doubly stochastic matrices-based approach to optimal qubit routing
by: Mariella, Nicola, et al.
Published: (2022)

On the lattice of multi-sorted relational clones on a two-element set
by: David, Vojtěch, et al.
Published: (2025)

Submaximal clones over a three-element set up to minor-equivalence
by: Vucaj, Albert, et al.
Published: (2023)

Forecasting Quantum Observables: A Compressed Sensing Approach with Performance Guarantees
by: Valls, Víctor, et al.
Published: (2025)

Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
by: Irani, Khashayar
Published: (2025)

A Bi-nested Calculus for Intuitionistic K: Proofs and Countermodels
by: Gao, Han, et al.
Published: (2025)

Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs
by: Baba, Kaito, et al.
Published: (2025)

Safe Streets and Roads for All (DOT)
Published: (2026)

Port Infrastructure Development Program (DOT)
Published: (2025)

Port Infrastructure Development Program (DOT)
Published: (2024)

Wildlife Crossings Pilot Program (DOT)
Published: (2024)

Restoration and Enhancement Grant Program (DOT)
Published: (2024)

Buses and Bus Facilities Program (DOT)
Published: (2025)

A Complete Proof of the Limit Formula for Observable Diameter
by: Yokota, Shigeaki
Published: (2024)

Practitioner Beliefs and Behaviors in AI-Enhanced Education: DOT Framework Survey Evidence
by: Gibson, David, et al.
Published: (2026)

Proof and Proving in Mathematics Education
Published: (2021)

Mathematical Proof Between Generations
by: Bayer, Jonas, et al.
Published: (2022)