cylindrical decomposition((x^2 - y^2) - 1> 0, {x, y})cylindrical decomposition((x^2 - y^2) - 1> 0, {x, y})

• Natural Language
• Math Input