Definition:Farey Sequence/Historical Note

Historical Note on Farey Sequence
The Farey sequence was first exploited by in $1801$ in creating tables of the decimal expansions for all vulgar fractions whose denominators are less than $100$.

In order to make sure he captured them all, he used a technique exploiting the properties of the mediant that originated with.

Some $15$ years later, rediscovered this property, and published a paper on the subject.

This was subsequently picked up on by, who reproved the results of while crediting  with the technique.