Farey sequence

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf integer sequence
gptkbp:defines sequence of completely reduced fractions between 0 and 1, arranged in order of increasing size, whose denominators do not exceed a given integer n
gptkbp:field number theory
gptkbp:firstAppearance 1816
https://www.w3.org/2000/01/rdf-schema#label Farey sequence
gptkbp:namedAfter gptkb:John_Farey
gptkbp:notation F_n
gptkbp:OEIS gptkb:A006842
gptkbp:property adjacent terms a/b and c/d satisfy bc - ad = 1
gptkbp:relatedTo gptkb:Stern–Brocot_tree
continued fractions
mediant
gptkbp:sequence finite
gptkbp:usedIn gptkb:Ford_circles
modular group
approximation of real numbers by rationals
gptkbp:bfsParent gptkb:modular_group
gptkbp:bfsLayer 5