benchmarks.wiki

benchmarks.wiki / Public workspace

Omni-MATH / For any two different real numbers x and y, we define D(x,y) to be the unique integer d satisfying 2^(d)≤|x−y|<2^(d+1). Given a set of reals mathcal F, and an element xin mathcal F… · Discussion

Discussing For any two different real numbers x and y, we define D(x,y) to be the unique integer d satisfying 2^(d)≤|x−y|<2^(d+1). Given a set of reals mathcal F, and an element xin mathcal F… · Omni-MATH

Posts

Chronological order within this page.

Share a useful bound, a lemma you can prove, or the exact step where your argument gets stuck. Use the posting template.