Copertina

Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Edmonds, Chelsea, Paulson, Lawrence C.
Natura:	Preprint
Pubblicazione:	2022
Soggetti:	Logic in Computer Science Combinatorics 68V20, 05B05, 05B20, 05D05 F.4.1; G.2
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A Modular First Formalisation of Combinatorial Design Theory
di: Edmonds, Chelsea, et al.
Pubblicazione: (2021)

Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma
di: Edmonds, Chelsea, et al.
Pubblicazione: (2023)

Formalising New Mathematics in Isabelle: Diagonal Ramsey
di: Paulson, Lawrence C
Pubblicazione: (2025)

Using Aristotle API for AI-Assisted Theorem Proving in Lean 4: A Formalisation Case Study of the Grasshopper Problem
di: Lau, Gabriel Rongyang
Pubblicazione: (2026)

Evolving Local Corrections for Global Constructions in Combinatorics
di: Bérczi, Gergely
Pubblicazione: (2026)

A combinatorial proof of the extension property for partial isometries
di: Hubička, Jan, et al.
Pubblicazione: (2018)

Machine Checked Proofs and Programs in Algebraic Combinatorics
di: Hivert, Florent
Pubblicazione: (2024)

The Oddtown problem modulo a composite number
di: Bukh, Boris, et al.
Pubblicazione: (2025)

A Formally Verified Library of Mathematical Finance in Lean 4
di: Coelho, Raphael
Pubblicazione: (2026)

Maximal sets of a given diameter in Hamming cubes
di: Bukh, Boris, et al.
Pubblicazione: (2025)

Extension property for partial automorphisms of the $n$-partite and semigeneric tournaments
di: Hubička, Jan, et al.
Pubblicazione: (2024)

Examples of IDP lattice polytopes with non-log-concave $h^*$-vector
di: Hofscheier, Johannes, et al.
Pubblicazione: (2025)

Big Ramsey degrees using parameter spaces
di: Hubička, Jan
Pubblicazione: (2020)

Hyperstability in the Erdős-Sós Conjecture
di: Pokrovskiy, Alexey
Pubblicazione: (2024)

Disjoint pairs in set systems and combinatorics of low rank matrices
di: Hunter, Zach, et al.
Pubblicazione: (2024)

Low-rank matrices, tournaments, and symmetric designs
di: Balachandran, Niranjan, et al.
Pubblicazione: (2024)

Small examples of mosaics of combinatorial designs
di: Krčadinac, Vedran
Pubblicazione: (2024)

A universal theory of switching for combinatorial objects, and applications to complex Hadamard matrices
di: Crnković, Dean, et al.
Pubblicazione: (2025)

Central limit theorems for high dimensional lattice polytopes: symmetric edge polytopes
di: Donzelmann, Torben, et al.
Pubblicazione: (2026)

The externally definable Ramsey property and fixed points on type spaces
di: Meir, Nadav, et al.
Pubblicazione: (2023)

Combinatorics of Complex Maximal Determinant Matrices
di: Ponasso, Guillermo Nuñez
Pubblicazione: (2024)

PatternBoost: Constructions in Mathematics with a Little Help from AI
di: Charton, François, et al.
Pubblicazione: (2024)

On stabilizers in finite permutation groups
di: Sabatini, Luca
Pubblicazione: (2024)

Cubes of symmetric designs
di: Krčadinac, Vedran, et al.
Pubblicazione: (2023)

Projection cubes of symmetric designs
di: Krčadinac, Vedran, et al.
Pubblicazione: (2024)

New examples of self-dual near-extremal ternary codes of length 48 derived from 2-(47,23,11) designs
di: Rukavina, Sanja, et al.
Pubblicazione: (2023)

On higher-dimensional symmetric designs
di: Krčadinac, Vedran, et al.
Pubblicazione: (2024)

On flag-transitive automorphism groups of $2$-designs with $λ$ prime
di: Alavi, Seyed Hassan, et al.
Pubblicazione: (2025)

Groups generated by pattern avoiding permutations
di: Barnabei, Marilena, et al.
Pubblicazione: (2024)

Computing Non-Repetitive Sequences with a Computable Lefthanded Local Lemma
di: Mourad, Daniel
Pubblicazione: (2024)

Ramsey expansions of metrically homogeneous graphs
di: Aranda, Andrés, et al.
Pubblicazione: (2017)

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

Combinatorics of a dissimilarity measure for pairs of draws from discrete probability vectors on finite sets of objects
di: Ahsan, Zarif, et al.
Pubblicazione: (2024)

Unified study of the phase transition for block-weighted random planar maps
di: Salvy, Zéphyr
Pubblicazione: (2024)

A phase transition in block-weighted random maps
di: Fleurat, William, et al.
Pubblicazione: (2023)

Characterisation of the big Ramsey degrees of the generic partial order
di: Balko, Martin, et al.
Pubblicazione: (2023)

Construction, Extension and Paths of Near-Homogeneous Tournaments
di: Tang, Rongxia, et al.
Pubblicazione: (2022)

Latin hypercubes with restricted transversals
di: Child, Billy, et al.
Pubblicazione: (2026)

Block-transitive designs with a poset of imprimitive partitions
di: Amarra, Carmen, et al.
Pubblicazione: (2025)

Infinite matrix associated to sequences
di: Rakotoarison, Mamy Laingo Nomenjanahary, et al.
Pubblicazione: (2025)