cylindrical decomposition((y - 3 z) - 7> 0, {y, z})cylindrical decomposition((y - 3 z) - 7> 0, {y, z})

• Natural Language
• Math Input