Cover Image

A Formal Proof of Complexity Bounds on Diophantine Equations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bayer, Jonas, David, Marco
Format:	Preprint
Published:	2025
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

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

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

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

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

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

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

The Threshold Problem for Hypergeometric Sequences with Quadratic Parameters
by: Kenison, George
Published: (2022)

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

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

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

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

Categorical Proof-Theoretic Semantics
by: Pym, David, et al.
Published: (2023)

The Diophantine problem in isotropic reductive groups
by: Voronetsky, Egor
Published: (2025)

An Introduction to Categorical Proof Theory
by: Tabatabai, Amirhossein Akbar
Published: (2024)

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

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

Formalizing two-level type theory with cofibrant exo-nat
by: Uskuplu, Elif
Published: (2023)

Mathematical Proof Between Generations
by: Bayer, Jonas, et al.
Published: (2022)

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

Proof Complexity of Linear Logics
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2026)

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

Impredicative Encodings of (Higher) Inductive Types
by: Awodey, Steve, et al.
Published: (2018)

Diophantine Maps
by: Eggink, A.
Published: (2024)

The Formal Theory of Monads, Univalently
by: van der Weide, Niels
Published: (2022)

A Formal Proof of R(4,5)=25
by: Gauthier, Thibault, et al.
Published: (2024)

Shock with Confidence: Formal Proofs of Correctness for Hyperbolic Partial Differential Equation Solvers
by: Gorard, Jonathan, et al.
Published: (2025)

Proofs that Modify Proofs, 1/2
by: Towsner, Henry
Published: (2025)

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

Formalization of dependent type theory: The example of CaTT
by: Benjamin, Thibaut
Published: (2021)

Complex solutions of polynomial equations on the unit circle
by: Aslanyan, Vahagn
Published: (2024)

Uniform Preorders and Partial Combinatory Algebras
by: Frey, Jonas
Published: (2024)

Proof-theoretic Semantics for Second-order Logic
by: Gheorghiu, Alexander V., et al.
Published: (2025)

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

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

Pseudo-Formalization for Automatic Proof Verification
by: Barkallah, Slim, et al.
Published: (2026)

Cypher is Turing-Complete: A Formal Proof via 2-Counter Machine Simulation
by: Halftermeyer, Pierre
Published: (2026)

On the Diophantine problem related to power circuits
by: Rybalov, Alexander
Published: (2025)

Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets
by: Atserias, Albert, et al.
Published: (2024)

Translating Informal Proofs into Formal Proofs Using a Chain of States
by: Wang, Ziyu, et al.
Published: (2025)

Proof-theoretic Semantics for the Logic of Bunched Implications
by: Gu, Tao, et al.
Published: (2023)