Sign in

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

Chelsea EdmondsLawrence C. Paulson
Published in: ITP (2022)
Keyphrases
  • mathematical theory
  • linear systems
  • database
  • theorem prover
  • discriminant function
  • higher order
  • graph theory
  • formal specification
  • algebraic structure