Cover Image

Formalizing Singer Sidon Constructions and Sidon Set Infrastructure in Lean 4

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hulak, David B., Ramos, Arthur F., de Queiroz, Ruy J. G. B.
Format:	Preprint
Published:	2026
Subjects:	Combinatorics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The $m$-th Element of a Sidon Set
by: Balasubramanian, R., et al.
Published: (2024)

Pair-Trace Absorption Certificates for Regular Induced Subgraphs
by: Ramos, Arthur F., et al.
Published: (2026)

Largest Sidon subsets in weak Sidon sets
by: Ma, Jie, et al.
Published: (2026)

Uniform exclude distributions of Sidon sets
by: Thornburgh, Darrion
Published: (2024)

Ruzsa's problem on Bi-Sidon sets
by: Pach, János, et al.
Published: (2024)

Size-4 Counterexamples to the Sidon-Extension Conjecture
by: Niu, Tong
Published: (2026)

Determining Sidon Polynomials on Sidon Sets over $\mathbb{F}_q\times \mathbb{F}_q$
by: Afifurrahman, Muhammad, et al.
Published: (2021)

Gaps in Multiplicative Sidon Sets
by: van Doorn, Wouter, et al.
Published: (2026)

Stokes' Theorem for Smooth Singular Cubes in Lean 4: True Pullback, Bridges to mathlib4, and Chain-Level d^2=0
by: Hulak, David B., et al.
Published: (2026)

On large Sidon sets
by: Czerwinski, Ingo, et al.
Published: (2024)

The structure of Sidon set systems
by: Wötzel, Maximilian
Published: (2022)

Existence of a Sidon set for the distinct distance constant
by: Riblet, Robin, et al.
Published: (2025)

On the size of finite Sidon sets
by: O'Bryant, Kevin
Published: (2022)

Ramsey-type problems for generalised Sidon sets
by: Reiher, Christian, et al.
Published: (2024)

New constructions and bounds for nonabelian Sidon sets with applications to Turán-type problems
by: Byrne, John, et al.
Published: (2025)

On the Sidon tails of $\left\{\lfloor x^n\rfloor\right\}$
by: Dutta, Sayan
Published: (2026)

Forbidden Sidon subsets of perfect difference sets, featuring a human-assisted proof
by: Alexeev, Boris, et al.
Published: (2025)

Sidon sets, sum-free sets and linear codes
by: Czerwinski, Ingo, et al.
Published: (2023)

A Prime-Generated Formalization of Nagata's Factoriality Theorem in Lean 4
by: Ramos, Arthur F., et al.
Published: (2026)

Finding large additive and multiplicative Sidon sets in sets of integers
by: Jing, Yifan, et al.
Published: (2022)

Certified Qualitative Analysis of the SIR ODE and Reusable Scalar Lemmas in Isabelle/HOL
by: Hulak, David B., et al.
Published: (2026)

Token-Sensitive Enclosure Semantics for Measurement-Bearing Expressions
by: Hulak, David B., et al.
Published: (2026)

Exterior-Model Spinors in Split Rank: Exact Levi Images and Square-Determinant Obstructions
by: Ramos, Arthur F., et al.
Published: (2026)

Affine Equivalence of Subsets of $\mathbb{F}_2^n$ via Venn Diagrams and Applications to Sidon Sets
by: Calta, Kariane, et al.
Published: (2025)

On generalizing cryptographic results to Sidon sets in $\mathbb{F}_2^n$
by: Thornburgh, Darrion
Published: (2025)

On the rainbow Cameron-Erdős problem with respect to generalized Sidon sets of multidimensional grids
by: Li, Xihe, et al.
Published: (2026)

On the largest Sidon subset in a finite subset of $\mathbb{R}^N$
by: Bailleul, Alexandre, et al.
Published: (2026)

Formalizing Computational Paths and Fundamental Groups in Lean
by: Ramos, Arthur F., et al.
Published: (2025)

A solution to the Erdős-Sárközy-Sós problem on asymptotic Sidon bases of order 3
by: Pilatte, Cédric
Published: (2023)

Is it true that most sets are Sidon?
by: Leonetti, Paolo
Published: (2025)

Pollen profile SIDON1, Sidon, Lebanon
by: de Beaulieu, Jacques-Louis
Published: (2014)

Polynomial rigidity and spectrum of Sidon automorphisms
by: Ryzhikov, Valery V.
Published: (2023)

Formalizing $A_1^{(1)}$ Curve Neighborhoods in Lean 4
by: Huang, Yihe, et al.
Published: (2026)

On the multipliers of a Singer quadrangle
by: Di, Wendi, et al.
Published: (2026)

On Sidon sets with squares, cubes and quartics in short intervals
by: Garaev, M. Z., et al.
Published: (2026)

Lithology of sediment core SIDON1, Sidon, Lebanon
by: de Beaulieu, Jacques-Louis
Published: (2014)

On the Averaging Problem of Ideal Families Related to Frankl's Conjecture with Formal Proof by Lean 4
by: Hachimori, Masahiro, et al.
Published: (2025)

A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums
by: Ramos, Arthur, et al.
Published: (2025)

Minimal Constructible Sets
by: Garcia, Jorge, et al.
Published: (2022)

Disjoint hypercyclicity, Sidon sets and weakly mixing operators
by: Cardeccia, Rodrigo
Published: (2022)