Details:
Title | Testing Emptiness of Real Hypersurfaces, Real Algebraic Sets and Semi-Algebraic
Sets | Author(s) | Fabrice Rouillier, Roy, Mohab Safey | Type | Technical Report, Misc | Abstract | New methods different from cylindrical decomposition and based on the critical point method have been proposed in the last years for testing emptiness of semi-algebraic sets [4, 1, 2]. | Length | 5 |
File |
| Language | English | Year | 2000 | Edition | 0 | Translation |
No | Refereed |
No |
|