Cover Image

Skolem Meets Bateman-Horn

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Luca, Florian, Maynard, James, Noubissie, Armand, Ouaknine, Joël, Worrell, James
Format:	Preprint
Published:	2023
Subjects:	Discrete Mathematics Number Theory F.3.0; G.2.0; I.1.2
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Solving Modular Linear Systems with a Constraint by parallel decomposition of the Smith form and extended Euclidean division modulo powers of primes divisors
by: Sule, Virendra
Published: (2025)

Polymer Dynamics via Cliques: New Conditions for Approximations
by: Friedrich, Tobias, et al.
Published: (2020)

Square-Triangle Tilings: Lift & Flip to Sample?
by: Fernique, Thomas, et al.
Published: (2024)

Efficient Approximation of Fractional Hypertree Width
by: Korchemna, Viktoriia, et al.
Published: (2024)

PosSLP and Sum of Squares
by: Bläser, Markus, et al.
Published: (2024)

Approximation Algorithms for Capacitated Vehicle Routing Problems: A Comprehensive Survey
by: Chen, Yongyu
Published: (2023)

Local generation of languages
by: Hoyrup, Mathieu
Published: (2025)

Local generation of languages: the monotonic binary sequences
by: Hoyrup, Mathieu
Published: (2026)

On the Orthogonality of Generalized Pattern Sequences
by: Li, Shuo
Published: (2024)

Shor's Algorithm Does Not Factor Large Integers in the Presence of Noise
by: Cai, Jin-Yi
Published: (2023)

Faster Mixing for Triangulations via Transport Flows
by: Alev, Vedat Levi, et al.
Published: (2026)

Summa Summarum: Moessner's Theorem without Dynamic Programming
by: Danvy, Olivier
Published: (2024)

Graph Attention for Heterogeneous Graphs with Positional Encoding
by: Nayak, Nikhil Shivakumar
Published: (2025)

Polynomial Complexity of Inversion of sequences and Local Inversion of Maps
by: Sule, Virendra
Published: (2024)

Integer Representations in IEEE 754, Posit, and Takum Arithmetics
by: Hunhold, Laslo
Published: (2024)

Preliminaries on the Accurate Estimation of the Hurst Exponent Using Time Series
by: Millán, Ginno, et al.
Published: (2021)

De Bruijn Sequences with Minimum Discrepancy
by: Álvarez, Nicolás, et al.
Published: (2024)

Lower Bounds on Inverse Cellular Automata via Proof Complexity
by: Kapytka, Maryia
Published: (2026)

An efficient algorithm to compute the minimum free energy of interacting nucleic acid strands
by: Shalaby, Ahmed, et al.
Published: (2024)

Detecting Isohedral Polyforms with a SAT Solver
by: Kaplan, Craig S.
Published: (2024)

A Survey on Data-Dependent Worst-Case Generalization Bounds
by: Leroux, Hubert, et al.
Published: (2026)

Tight Quantum-Security Bounds and Parameter Optimization for SPHINCS+ and NTRU
by: Xu, Ruopengyu, et al.
Published: (2025)

Planarizing Gadgets for (k, l)-tight Graphs Do Not Exist
by: Chauhan, Archit, et al.
Published: (2026)

Measuring proximity to standard planes during fetal brain ultrasound scanning
by: Di Vece, Chiara, et al.
Published: (2024)

Serial Properties, Selector Proofs, and the Provability of Consistency
by: Artemov, Sergei
Published: (2024)

Non-Compact Proofs
by: Artemov, Sergei
Published: (2025)

Consistency formula is strictly stronger in PA than PA-consistency
by: Artemov, Sergei
Published: (2025)

Linear, nested, and quadratic ordered measures: Computation and incorporation into optimization problems
by: Blanco, Victor, et al.
Published: (2025)

The Binary Linearization Complexity of Pseudo-Boolean Functions
by: Walter, Matthias
Published: (2023)

Robustness of Boolean networks to update modes: an application to hereditary angioedema
by: Demongeot, Jacques, et al.
Published: (2025)

Möbius transforms and Shapley values for vector-valued functions on weighted directed acyclic multigraphs
by: Forré, Patrick, et al.
Published: (2025)

Parameterized Algorithms for Coordinated Motion Planning: Minimizing Energy
by: Deligkas, Argyrios, et al.
Published: (2024)

Emotion-Gradient Metacognitive RSI (Part I): Theoretical Foundations and Single-Agent Architecture
by: Ando, Rintaro
Published: (2025)

Reducing Matroid Optimization to Basis Search
by: Streit, Robert, et al.
Published: (2024)

Differential Privacy Under Class Imbalance: Methods and Empirical Insights
by: Rosenblatt, Lucas, et al.
Published: (2024)

On Expansions of Monadic Second-Order Logic with Dynamical Predicates
by: Nieuwveld, Joris, et al.
Published: (2025)

Deciding One to One property of Boolean maps: Condition and algorithm in terms of implicants
by: Sule, Virendra
Published: (2023)

Exploring Prime Number Classification: Achieving High Recall Rate and Rapid Convergence with Sparse Encoding
by: Lee, Serin, et al.
Published: (2024)

Transcendence for Pisot Morphic Words over an Algebraic Base
by: Kebis, Pavol, et al.
Published: (2024)