Image de couverture de livre

Diophantine Equations over $\mathbb Z$: Universal Bounds and Parallel Formalization

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Bayer, Jonas, David, Marco, Hassler, Malte, Matiyasevich, Yuri, Schleicher, Dierk
Format:	Preprint
Publié:	2025
Sujets:	Number Theory Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Formal Proof of Complexity Bounds on Diophantine Equations
par: Bayer, Jonas, et autres
Publié: (2025)

Undecidability on Diophantine equations over $\mathbb Z[i]$ with $20$ unknowns
par: Matiyasevich, Yuri, et autres
Publié: (2025)

Mathematical Proof Between Generations
par: Bayer, Jonas, et autres
Publié: (2022)

Formalizing zeta and L-functions in Lean
par: Loeffler, David, et autres
Publié: (2025)

Measuring Decidability as Related to Busy Beaver Numbers
par: Tandi, Gurpreet, et autres
Publié: (2026)

The Skolem Problem in rings of positive characteristic
par: Dong, Ruiwen, et autres
Publié: (2025)

Formalising the Bruhat-Tits Tree
par: Ludwig, Judith, et autres
Publié: (2025)

The Threshold Problem for Hypergeometric Sequences with Quadratic Parameters
par: Kenison, George
Publié: (2022)

Formalising the local compactness of the adele ring
par: Mercuri, Salvatore
Publié: (2024)

Linear Loop Synthesis for Quadratic Invariants
par: Hitarth, S., et autres
Publié: (2023)

Progress in Formalizing Sphere Packing in Dimension 8
par: Hariharan, Sidharth, et autres
Publié: (2026)

In Memory of Martin Davis
par: Calvert, Wesley, et autres
Publié: (2024)

Defining $\mathbb Z$ using unit groups
par: Mazur, Barry, et autres
Publié: (2023)

An approach to the Lindelöf Hypothesis for Dirichlet $L$-functions
par: Matiyasevich, Yuri
Publié: (2026)

In Search of Approximate Polynomial Dependencies Among the Derivatives of the Alternating Zeta Function
par: Matiyasevich, Yuri
Publié: (2026)

The Diophantine problem in isotropic reductive groups
par: Voronetsky, Egor
Publié: (2025)

Model Checking Quantum Continuous-Time Markov Chains
par: Xu, Ming, et autres
Publié: (2021)

Reverse Engineered Diophantine Equations over $\mathbb{Q}$
par: Santicola, Katerina
Publié: (2022)

A complete formalization of Fermat's Last Theorem for regular primes in Lean
par: Best, Alex, et autres
Publié: (2024)

Formalizing two-level type theory with cofibrant exo-nat
par: Uskuplu, Elif
Publié: (2023)

Automated Mathematics and the Reconfiguration of Proof and Labor
par: Ochigame, Rodrigo
Publié: (2023)

The Diophantine problem for addition and divisibility for rings of $S$-integers of quadratic imaginary extensions of $\mathbb{Q}$
par: Hormazábal, Natalia, et autres
Publié: (2025)

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

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy
par: De Mol, Liesbeth, et autres
Publié: (2025)

Decidability of some complicated structures definable in $\mathbb{C}(t)$
par: Scanlon, Thomas
Publié: (2025)

Impredicative Encodings of (Higher) Inductive Types
par: Awodey, Steve, et autres
Publié: (2018)

Diophantine Maps
par: Eggink, A.
Publié: (2024)

The Formal Theory of Monads, Univalently
par: van der Weide, Niels
Publié: (2022)

Many-valued coalgebraic logic over semi-primal varieties
par: Kurz, Alexander, et autres
Publié: (2023)

(Pointed) Univalence in Universe Category Models of Type Theory
par: Kapulkin, Chris, et autres
Publié: (2025)

On Iwasawa theory of abelian varieties over $\mathbb{Z}_p^2$-extension with applications to Diophantine stability and integally Diophantine extensions
par: Lim, Meng Fai
Publié: (2026)

On the $p$-adic Skolem Problem
par: Bacik, Piotr, et autres
Publié: (2025)

Formalization of dependent type theory: The example of CaTT
par: Benjamin, Thibaut
Publié: (2021)

Uniform Preorders and Partial Combinatory Algebras
par: Frey, Jonas
Publié: (2024)

On the Diophantine problem related to power circuits
par: Rybalov, Alexander
Publié: (2025)

Additive systems for $\mathbb{Z}$ are undecidable
par: Zabolotskii, Andrei
Publié: (2025)

Generalized Hofstadter functions $G, H$ and beyond: numeration systems and discrepancy
par: Letouzey, Pierre
Publié: (2025)

Beyond Monads and Biproducts: A Uniform Interpretation of Parallelism in Intuitionistic Logic
par: Díaz-Caro, Alejandro, et autres
Publié: (2024)

Borel Complexity of the set of vectors normal for a fixed recurrence sequence
par: Kaneko, Hajime, et autres
Publié: (2025)

Counting rational points on transcendental curves in valued fields
par: Vermeulen, Floris
Publié: (2025)