Cover Image

The Threshold Problem for Hypergeometric Sequences with Quadratic Parameters

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Kenison, George
Format:	Preprint
Published:	2022
Subjects:	Logic in Computer Science Number Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Linear Loop Synthesis for Quadratic Invariants
by: Hitarth, S., et al.
Published: (2023)

The Skolem Problem in rings of positive characteristic
by: Dong, Ruiwen, et al.
Published: (2025)

Measuring Decidability as Related to Busy Beaver Numbers
by: Tandi, Gurpreet, et al.
Published: (2026)

Diophantine Equations over $\mathbb Z$: Universal Bounds and Parallel Formalization
by: Bayer, Jonas, et al.
Published: (2025)

Formalising the Bruhat-Tits Tree
by: Ludwig, Judith, et al.
Published: (2025)

A Formal Proof of Complexity Bounds on Diophantine Equations
by: Bayer, Jonas, et al.
Published: (2025)

Formalising the local compactness of the adele ring
by: Mercuri, Salvatore
Published: (2024)

In Memory of Martin Davis
by: Calvert, Wesley, et al.
Published: (2024)

Model Checking Quantum Continuous-Time Markov Chains
by: Xu, Ming, et al.
Published: (2021)

Beatty Sequences for a Quadratic Irrational: Decidability and Applications
by: Schaeffer, Luke, et al.
Published: (2024)

On the $p$-adic Skolem Problem
by: Bacik, Piotr, et al.
Published: (2025)

Formalizing zeta and L-functions in Lean
by: Loeffler, David, et al.
Published: (2025)

A complete formalization of Fermat's Last Theorem for regular primes in Lean
by: Best, Alex, et al.
Published: (2024)

Automated Mathematics and the Reconfiguration of Proof and Labor
by: Ochigame, Rodrigo
Published: (2023)

Progress in Formalizing Sphere Packing in Dimension 8
by: Hariharan, Sidharth, et al.
Published: (2026)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
by: Kaye, George
Published: (2025)

Generalized Hofstadter functions $G, H$ and beyond: numeration systems and discrepancy
by: Letouzey, Pierre
Published: (2025)

Borel complexity of the set of typical numbers
by: Tomaszewski, Jakub
Published: (2022)

A note on unlikely intersections in Shimura varieties
by: Aslanyan, Vahagn, et al.
Published: (2022)

A Comparison of Gauge Dimension and Effective Dimension
by: Miao, Yiping
Published: (2026)

Ultra-Galois theory and an analogue of the Kronecker--Weber theorem for rational function fields over ultra-finite fields
by: Nguyen, Dong Quan Ngoc
Published: (2024)

Decidability via the tilting correspondence
by: Kartas, Konstantinos
Published: (2020)

Borel Complexity of the set of vectors normal for a fixed recurrence sequence
by: Kaneko, Hajime, et al.
Published: (2025)

Non-Archimedean Analogue of Chase's Lemma
by: Mihara, Tomoki
Published: (2026)

Hilbert's tenth problem for finitely generated rings
by: Koymans, Peter, et al.
Published: (2026)

Hensel minimality, $p$-adic exponentiation and Tate uniformization
by: Eterović, Sebastian, et al.
Published: (2026)

Counting rational points on transcendental curves in valued fields
by: Vermeulen, Floris
Published: (2025)

Hilbert's tenth problem via additive combinatorics
by: Koymans, Peter, et al.
Published: (2024)

Almost Free Non-Archimedean Banach Spaces and Relation to Large Cardinals
by: Mihara, Tomoki
Published: (2026)

Positive characteristic Ax-Schanuel
by: Kowalski, Piotr
Published: (2023)

Notes on Algebraic Properties and Non-Standard Analysis of the Ring of Integers Modulo Infinitely Large Primes
by: Mihara, Tomoki
Published: (2026)

Decidability of extensions of Presburger arithmetic by generalised polynomials
by: Konieczny, Jakub
Published: (2024)

A Dual-Threshold Probabilistic Knowing Value Logic
by: Wang, Shanxia
Published: (2026)

Rewriting Modulo Traced Comonoid Structure
by: Ghica, Dan R., et al.
Published: (2023)

Termination of Rewriting on Reversible Boolean Circuits as a Free 3-Category Problem
by: Barile, Adriano, et al.
Published: (2024)

Homotopy type theory as a language for diagrams of $\infty$-logoses
by: Uemura, Taichi
Published: (2022)

Strict universes for Grothendieck topoi
by: Gratzer, Daniel, et al.
Published: (2022)

Comodule Representations of Second-Order Functionals
by: Ahman, Danel, et al.
Published: (2024)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
by: de Jong, Tom, et al.
Published: (2026)

On the Axioms of Arboreal Categories
by: Jakl, Tomáš, et al.
Published: (2026)