P
Initializing...
Certified enclosure of the arithmetic constant C₁ for Zudilin’s parameters · Prove2Me