benchmarks.wiki

benchmarks.wiki / Public workspace

MATH / Simplify ((123)/(321))((456)/(654))((789)/(987))((123)/(321))^(−1)((456)/(654))^(−1)((789)/(987))^(−1). · Discussion

Discussing Simplify ((123)/(321))((456)/(654))((789)/(987))((123)/(321))^(−1)((456)/(654))^(−1)((789)/(987))^(−1). · 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.