Cover Image

On the Constructive Dimension Spectrum of Polynomials

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Koul, Prajval, Nandakumar, Satyadev
Format:	Preprint
Published:	2026
Subjects:	General Mathematics F.4.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Invariant Bridges Between Four Successive Points: A New Tool for Data Coding
by: Semenov, Stanislav
Published: (2025)

On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category
by: Koul, Prajval, et al.
Published: (2025)

Fractal Origin of the Continuum: A Hypothesis on Process-Relative Definability
by: Semenov, Stanislav
Published: (2025)

On the Nature of Fractal Numbers and the Classical Continuum Hypothesis (CH)
by: Semenov, Stanislav
Published: (2025)

Wave Arithmetic: A Smooth Integral Representation of Number Theory
by: Semenov, Stanislav
Published: (2025)

Axiomatic Foundations of Fractal Analysis and Fractal Number Theory
by: Semenov, Stanislav
Published: (2025)

A Smooth Analytical Approximation of the Prime Characteristic Function
by: Semenov, Stanislav
Published: (2025)

Constructive and Predicative Locale Theory in Univalent Foundations
by: Tosun, Ayberk
Published: (2026)

Fractal Boundaries of Constructivity: A Meta-Theoretical Critique of Countability and Continuum
by: Semenov, Stanislav
Published: (2025)

Constructive Limits of Cantor's Diagonal Method: Countability, Enumerability, and the Impossibility of Exhausting the Continuum
by: Semenov, Stanislav
Published: (2025)

Fractal Countability as a Constructive Alternative to the Power Set of N: A Meta-Formal Approach to Stratified Definability
by: Semenov, Stanislav
Published: (2025)

Alpay Algebra: A Universal Structural Foundation
by: Alpay, Faruk
Published: (2025)

Two-Level Type Theory and Applications
by: Annenkov, Danil, et al.
Published: (2017)

Polynomial-time Tractable Problems over the $p$-adic Numbers
by: Fehm, Arno, et al.
Published: (2025)

Homotopical Observables and the Langlands Program via $\infty$-Topoi
by: Galikhanov, Anatoly
Published: (2025)

Stratified Algebra
by: Semenov, Stanislav
Published: (2025)

Hardness of busy beaver value BB(15)
by: Stérin, Tristan, et al.
Published: (2021)

i-QLS: Quantum-supported Algorithm for Least Squares Optimization in Non-Linear Regression
by: Venkatesh, Supreeth Mysore, et al.
Published: (2025)

A Constructive Fragment of Physical Propositions
by: Rosko, Milan
Published: (2025)

Cancellation of principal in banking: Four radical ideas emerge from deep examination of double entry bookkeeping in banking
by: Hanley, Brian P.
Published: (2020)

A Construction of the Lie Algebra of a Lie Group in Isabelle/HOL
by: Schmoetten, Richard, et al.
Published: (2024)

Material Interpretation and Constructive Analysis of Maximal Ideals in $\mathbb{Z}[X]$
by: Wiesnet, Franziskus
Published: (2025)

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics
by: Bisping, Benjamin, et al.
Published: (2024)

Graph Colouring Is Hard on Average for Polynomial Calculus and Nullstellensatz
by: Conneryd, Jonas, et al.
Published: (2025)

On Angels and Demons: Strategic (De)Construction of Dynamic Models
by: Catta, Davide, et al.
Published: (2026)

Alpay Algebra II: Identity as Fixed-Point Emergence in Categorical Data
by: Alpay, Faruk
Published: (2025)

Weisfeiler-Leman on graphs of small twin-width
by: Heinrich, Irene, et al.
Published: (2026)

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching
by: Zucker, Philip
Published: (2025)

Comparing verbal, visual and combined explanations for Bayesian Network inferences
by: Nyberg, Erik P., et al.
Published: (2025)

US-Singapore cooperation on tech and security: defense, cyber, and biotech
by: Ee, Shaun Kai Ern
Published: (2024)

A Framework for Generating Informative Benchmark Instances
by: Dang, Nguyen, et al.
Published: (2022)

Towards Automated Readable Proofs of Ruler and Compass Constructions
by: Marinković, Vesna, et al.
Published: (2024)

A Theory for Probabilistic Polynomial-Time Reasoning
by: Chen, Lijie, et al.
Published: (2026)

Model Checking of vGOAL
by: Yang, Yi, et al.
Published: (2024)

A LOCAL View of the Polynomial Hierarchy
by: Reiter, Fabian
Published: (2023)

Probabilistic Epistemic Dynamic Agentive Logic
by: Logan, Shay Allen
Published: (2026)

The General and Finite Satisfiability Problems for PCTL are Undecidable
by: Chodil, Miroslav, et al.
Published: (2024)

A Real-Analytic Approach to Differential-Algebraic Dynamic Logic
by: Hellwig, Jonathan, et al.
Published: (2025)

The Thins Ordering on Relations
by: Voermans, Ed, et al.
Published: (2024)

A Resolution-Based Interactive Proof System for UNSAT
by: Czerner, Philipp, et al.
Published: (2024)