Zulip Chat Archive

Stream: maths

Topic: continued fractions

view this post on Zulip Yury G. Kudryashov (Jun 01 2020 at 19:13):

@Kevin Kappelmann Do we already have αpnqn1qnqn+1|α - \frac{p_n}{q_n}|\le \frac{1}{q_nq_{n+1}}?

view this post on Zulip Kevin Kappelmann (Jun 01 2020 at 21:14):

Just on my laptop so far, but I am pushing PRs whenever I find time to polish parts of the code I still haven't submitted. One PR is open to be reviewed at the very moment. I think there are 3 or 4 more PRs to come until this result is there.

Last updated: May 10 2021 at 06:13 UTC