Talk:Dixon's Hypergeometric Theorem/Examples/3F2(0.5,0.5,0.5;1,1;1)

Is this identity actually called Dixon's Hypergeometric Theorem? If so we need to document this (and provide a source if possible), if not we may wish to enter the info somewhere that $\mathsf{Pr} \infty \mathsf{fWiki}$ calls this DHT. Otherwise, lust leaving this here like this may cause confusion.

It would perhaps improve our ability to distinguish if we were to call it Dixon's Hypergeometric Theorem instead of Dixon's Theorem, so I'm well in favour of the move, but we need some sort of justification for doing so, even if it's just "This is what $\mathsf{Pr} \infty \mathsf{fWiki}$ calls it". --prime mover (talk) 08:52, 22 December 2022 (UTC)

Note that this link: https://koreascience.kr/article/JAKO201927561417354.pdf calls it Dixon's Summation Theorem, which would do I suppose, but I personally prefer Dixon's Hypergeometric Theorem. --prime mover (talk) 08:55, 22 December 2022 (UTC)

I have not seen this called "Dixon's Hypergeometric Theorem". I have seen "Dixon's Theorem", "Dixon's Theorem on Hypergeometric Series" and "Dixon's Theorem on the sum of a 3F2".

Link #1: https://archive.lib.msu.edu/crcmath/math/math/d/d359.htm calls it "Dixon's Theorem"

Link #2: https://academic.oup.com/qjmath/article-abstract/os-8/1/113/1564703 calls it "Dixon's Theorem on Hypergeometric Series"

Link #3: https://www.jstor.org/stable/2153407 calls it "Dixon's Theorem on the sum of a 3F2".

For the sake of internal $\mathsf{Pr} \infty \mathsf{fWiki}$ consistency, I think "Dixon's Hypergeometric Theorem" is a good name. --Robkahn131 (talk) 19:27, 22 December 2022 (UTC)

Okay I'll make a note to self to apply this consistently. --prime mover (talk) 19:40, 22 December 2022 (UTC)