Revision #769 → #1158 · back to history
addedBest Diophantine approximation (first definition)6bf7d22d9c16
addedBest Diophantine approximation (second definition)660e26cf23a1
addedSecond-definition best approximation implies first640e55ae31f0
addedBest approximations via continued fractions6883137d700c
addedBest approximations of ea8420df1ebd9
addedBadly approximable number8ea108959d50
addedCharacterization via bounded partial quotients9d9a07330986
addedEquivalent characterization via Markov constant3ac17624c3be
addedApproximation of a rational by another rationalfffe6aecefd6
addedLiouville's theorem on algebraic numbers60c4c7b3882b
addedLiouville constantb51575c32376
addedThue–Siegel–Roth theoremc23ab45a038c
addedSchmidt's simultaneous approximation theorem1f8e0c5e3772
addedFeldman's effective refinement of Baker's theorem090fffb1d777
addedDirichlet's approximation theorem4cd6d73d1985
addedHurwitz's theoremb0721c466e45
addedBorel's three-convergents theorem38758330626a
addedEquivalent real numbers7e04fd5f954e
addedSerret's theorem on equivalent irrationalsdc728177dd24
addedHurwitz sharpness via golden ratioc61b8bd870a2
addedImproved Hurwitz bound excluding golden-ratio classb14269a41a39
addedψ-approximable real number2844b4581d1b
addedKhinchin's theorem69df6a71df87
addedKoukoulopoulos–Maynard proof of Duffin–Schaeffer17386884db7a
addedJarník–Besicovitch theoremd464eedf11a1
addedJarník's theorem on badly approximable numbersd73976aabc27
addedSchmidt's incompressibility theorem9f027aecbf90
addedWeyl's equidistribution criterion69aefc2cabd2