Buchumschlag

A formal proof of the Sands-Sauer-Woodrow theorem using the Rocq prover and mathcomp/ssreflect

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Chancelier, Jean-Philippe
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Discrete Mathematics
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Conditional Separation as a Binary Relation. A Coq Assisted Proof
von: Chancelier, Jean-Philippe, et al.
Veröffentlicht: (2021)

Certified algorithms for numerical semigroups in Rocq
von: Bartoletti, Massimo, et al.
Veröffentlicht: (2025)

A new proof of Delahan's induced-universality result
von: Chappelon, Jonathan
Veröffentlicht: (2026)

There is no prime functional digraph: Seifert's proof revisited
von: Richard, Adrien
Veröffentlicht: (2025)

Frankl's diversity theorem for permutations
von: Inozemtsev, Eduard, et al.
Veröffentlicht: (2026)

A complete $t$-intersection theorem for families of spanning trees
von: Iarovikova, Elizaveta, et al.
Veröffentlicht: (2025)

Trees and co-trees in planar 3-connected graphs An easier proof via Schnyder woods
von: Ortlieb, Christian, et al.
Veröffentlicht: (2024)

An almost complete $t$-intersection theorem for permutations
von: Kupavskii, Andrey
Veröffentlicht: (2024)

Spectral Moment of Order Four and the Uniqueness of the CCZ class of Dublin APN Permutation
von: Gillot, Valérie, et al.
Veröffentlicht: (2025)

Normality of 8-Bit Bent Function
von: Gillot, Valérie, et al.
Veröffentlicht: (2025)

A Vizing-like theorem for union vertex-distinguishing edge coloring
von: Bousquet, Nicolas, et al.
Veröffentlicht: (2016)

A Brooks-type theorem for the k-choosability of graphs with maximum local edge-connectivity k
von: Bastida, Sam, et al.
Veröffentlicht: (2026)

Effective approach of the tridendriform Schroeder tree algebra
von: Catoire, Pierre, et al.
Veröffentlicht: (2026)

Geoffrion's theorem beyond finiteness and rationality
von: Dey, Santanu S., et al.
Veröffentlicht: (2025)

The PPP-completeness of the Ward-Szabo theorem
von: Ishizuka, Takashi
Veröffentlicht: (2025)

A sequential solution to the density classification task using an intermediate alphabet
von: Perrotin, Pacôme, et al.
Veröffentlicht: (2024)

No-go theorem for quantum realization of extremal correlations
von: K, Sujan V., et al.
Veröffentlicht: (2025)

Cops & Robber on Periodic Temporal Graphs
von: De Carufel, Jean-Lou, et al.
Veröffentlicht: (2024)

Fast solutions to k-parity and k-synchronisation using parallel automata networks
von: Perrotin, Pacôme, et al.
Veröffentlicht: (2024)

A lattice on Dyck paths close to the Tamari lattice
von: Baril, Jean-Luc, et al.
Veröffentlicht: (2023)

A quasi-optimal upper bound for induced paths in sparse graphs
von: Couëtoux, Basile, et al.
Veröffentlicht: (2025)

Progress on Self Identifying Codes
von: Jean, Devin, et al.
Veröffentlicht: (2025)

Optimizing alphabet reduction pairs of arrays
von: Culus, Jean-François, et al.
Veröffentlicht: (2024)

Factorization norms and an inverse theorem for MaxCut
von: Balla, Igor, et al.
Veröffentlicht: (2025)

Long induced paths in sparse graphs and graphs with forbidden patterns
von: Duron, Julien, et al.
Veröffentlicht: (2024)

Long induced paths and forbidden patterns: Polylogarithmic bounds
von: Duron, Julien, et al.
Veröffentlicht: (2024)

Enumeration in the lattice of $q$-decreasing words
von: Baril, Jean-Luc, et al.
Veröffentlicht: (2025)

Probability-graphons: Limits of large dense weighted graphs
von: Abraham, Romain, et al.
Veröffentlicht: (2023)

An abstract structure determines the contextuality degree of observable-based Kochen-Specker proofs
von: Muller, Axel, et al.
Veröffentlicht: (2024)

Semirings of formal sums and injective partial transformations
von: Gadouleau, Maximilien, et al.
Veröffentlicht: (2026)

Linear colorings of graphs
von: Hilaire, Claire, et al.
Veröffentlicht: (2025)

Reconsideration of Tangle and Ultrafilter using Separation and Partition
von: Fujita, Takaaki
Veröffentlicht: (2023)

The Complexity of Intersection Graphs of Lines in Space and Circle Orders
von: Cardinal, Jean
Veröffentlicht: (2024)

Characterization of Word-Representable Graphs using Modular Decomposition
von: Dwary, Tithi, et al.
Veröffentlicht: (2024)

On sampling diluted Spin Glasses using Glauber dynamics
von: Efthymiou, Charilaos, et al.
Veröffentlicht: (2024)

Cop numbers of periodic graphs
von: De Carufel, Jean-Lou, et al.
Veröffentlicht: (2023)

On 1-Planar Graphs with Bounded Cop-Number
von: Bose, Prosenjit, et al.
Veröffentlicht: (2024)

The Combinatorics of Motzkin Polyominoes
von: Baril, Jean-Luc, et al.
Veröffentlicht: (2024)

Grand zigzag knight's paths
von: Baril, Jean-Luc, et al.
Veröffentlicht: (2024)

Mixed Unit Interval Bigraphs : A Characterization
von: Das, Ashok Kumar, et al.
Veröffentlicht: (2026)