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

Chelsea Edmonds Lawrence C. Paulson

Published in: CoRR (2022)

Keyphrases

mathematical theory
search engine
closed form
formal model
graph theory
theorem proving
linear model
genetic algorithm
face recognition
theorem prover
simple linear