top | item 46011198 (no title) Natsu | 3 months ago What is the benefit of using R if it's really Q? discuss order hn newest zozbot234|3 months ago The idea of R is that it allows you to reason about things like "I need more than X input precision to achieve Y bound on my output". Just sticking with naïve computation in Q does not suffice for that.
zozbot234|3 months ago The idea of R is that it allows you to reason about things like "I need more than X input precision to achieve Y bound on my output". Just sticking with naïve computation in Q does not suffice for that.
zozbot234|3 months ago