Gilbert–Shannon–Reeds model
In the mathematics of shuffling playing cards, the Gilbert–Shannon–Reeds model is a probability distribution on riffle shuffle permutations. It forms the basis for a recommendation that a deck of cards should be riffled seven times in order to thoroughly randomize it.
Source: Wikipedia — Gilbert–Shannon–Reeds model (CC BY-SA 4.0)