Fisher's Inequality: Linear Algebraic Proof Techniques for Combinatorics.

Chelsea Edmonds Lawrence C. Paulson

Published in: Arch. Formal Proofs (2022)

Keyphrases

databases
data sets
artificial intelligence
closed form
theorem proving
linear systems
linear constraints
discriminant function
neural network
computer vision
decision trees
theorem prover