• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

Chelsea EdmondsLawrence 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