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

Chelsea Edmonds Lawrence C. Paulson

Published in: ITP (2022)

Keyphrases

mathematical theory
linear systems
database
theorem prover
discriminant function
higher order
graph theory
formal specification
algebraic structure