cylindrical decomposition((5 y + 2 z) - 20> 0, {y, z})cylindrical decomposition((5 y + 2 z) - 20> 0, {y, z})

• Natural Language
• Math Input