Also known as Dixon's theorem
On finite sums of products of three binomial coefficients, and a hypergeometric sum
Inom matematiken är Dixons identitet (eller Dixons sats eller Dixons formel) en av flera olika men nära relaterade identiteter bevisade av för summor med binomialkoefficienter.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).