:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Lee, Paul Chun-Kit
Format:	Recurso digital
Language:
Published:	Zenodo 2026
Online Access:	https://doi.org/10.5281/zenodo.18773827
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Hodge Level Boundary: Archimedean Decidability for Mixed Motives (Paper 62, Constructive Reverse Mathematics Series)
by: Lee, Paul Chun-Kit
Published: (2026)

The BSD Squeeze: CRMLint Decomposition of the Gross-Zagier-Kolyvagin Proof (Paper 95, Constructive Reverse Mathematics Series)
by: Lee, Paul Chun-Kit
Published: (2026)

(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)

On Constructions of full-dimensional absolutely normal sets of uniqueness
by: Lai, Chun-Kit, et al.
Published: (2026)

Affirmative Resolution of Hilbert's Tenth Problem in Extended Algebraic Structures: Decidability and Construction of Explicit Analytic Solutions
by: liu, shifa
Published: (2026)

Before You Decide: The Decision Series — Ten Papers on Artificial Intelligence for People Who Have to Decide
by: Kyungae, Ahn
Published: (2026)

Decidable By Construction: Design-Time Verification for Trustworthy AI
by: Haynes, Houston
Published: (2026)

Constructive Mathematics
by: Mandelkern, Mark
Published: (2024)

Constructive Mathematical Analysis
Published: (2019)

Can Confidence Estimates Decide When Chain-of-Thought Is Necessary for LLMs?
by: Lewis-Lim, Samuel, et al.
Published: (2025)

Deciding Connectivity in Symmetric Semi-Algebraic Sets
by: Riener, Cordian., et al.
Published: (2025)

Adapting STEMM in Hawaiʻi: Necessary actions for one of the most diverse places in the United States
by: Kit Neikirk
Published: (2024)

Algebraic Constructions for the Digraph Routing Problems
by: Chishwashwa, Nyumbu, et al.
Published: (2024)

Constructive Degenerations and the Algebraicity of Limiting Hodge
by: Mounda, Badre
Published: (2025)

Univalent Foundations of Constructive Algebraic Geometry
by: Zeuner, Max
Published: (2024)

On the Constructive Dimension Spectrum of Polynomials
by: Koul, Prajval, et al.
Published: (2026)

On the Eigenvalues of Graphs with Mixed Algebraic Structure
by: Bonetto, Riccardo, et al.
Published: (2024)

New Constructions and Necessary Conditions for 4‐GDDs With Block Size 5
by: Dinkayehu M. Woldemariam, et al.
Published: (2025)

Algebraic Immunity of Boolean Functions - Analysis and Construction
by: Deepak Kumar Dalai
Published: (2009)

The Morel-Voevodsky Construction over Algebraic Stacks
by: Deshmukh, Neeraj, et al.
Published: (2025)

Decidable Reversible Equivalences for Finite Petri Nets
by: Gorrieri, Roberto, et al.
Published: (2025)

Blurred Drinker Paradoxes and Blurred Choice Axioms: Constructive Reverse Mathematics of the Downward Löwenheim-Skolem Theorem
by: Kirst, Dominik, et al.
Published: (2026)

New Constructions of Reversible DNA Codes
by: Chen, Xueyan, et al.
Published: (2024)

Consistent Autoformalization for Constructing Mathematical Libraries
by: Zhang, Lan, et al.
Published: (2024)

The Regular Element Property in Constructive Mathematics
by: Coquand, Thierry
Published: (2024)

Factors in Deciding to Speed Up Construction Work Are Schedule Cost and CO2 Emissions
by: Wattana Surapha, et al.
Published: (2024)

Polynomial Root-Finding and Algebraic Eigenvalue Problem
by: Pan, Victor Y.
Published: (2018)

Constructing Highly Symmetric Compact Manifolds and Algebraic Varieties
by: Szabó, Dávid R.
Published: (2023)

Systems of Discrete Differential Equations, Constructive Algebraicity of the Solutions
by: Notarantonio, Hadrien, et al.
Published: (2023)

An Algebraic Foundation for Knowledge Graph Construction (Extended Version)
by: Oo, Sitt Min, et al.
Published: (2025)

Algebraic Control: Complete Stable Inversion with Necessary and Sufficient Conditions
by: Kürkçü, Burak, et al.
Published: (2024)

Efficiently Deciding Algebraic Equivalence of Bow-Free Acyclic Path Diagrams
by: van Ommen, Thijs
Published: (2024)

Compactness in Constructive Mathematics via Affine Logic
by: Kasaura, Kazumi
Published: (2026)

An Algebraic Abstraction of the Localic Sheafification via the Tripos-to-Topos Construction
by: Maietti, Maria Emilia, et al.
Published: (2025)

Construction of Rotation Symmetric Boolean Functions with optimal Algebraic Immunity
by: Sumanta Sarkar
Published: (2009)

Series-Parallel-Loop Decompositions of Control-flow Graphs
by: Cai, Xuran, et al.
Published: (2026)

Chelsea Case Decided: Judge Reverses Censorship of School Library.
by: Krug, Judith F., et al.
Published: (1979)

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

Construction of a Closed Hyperbolic Surface of Arbitrarily Small Eigenvalue of Prescribed Serial Number
by: Pal, Susovan
Published: (2026)