共 50 条
- [33] Real Root Finding for Equivariant Semi-algebraic Systems [J]. ISSAC'18: PROCEEDINGS OF THE 2018 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION, 2018, : 335 - 342
- [34] Positive polynomials on semi-algebraic sets [J]. COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1999, 328 (07): : 585 - 589
- [36] Smooth points on semi-algebraic sets [J]. JOURNAL OF SYMBOLIC COMPUTATION, 2023, 116 : 183 - 212
- [37] SEPARATING FAMILIES FOR SEMI-ALGEBRAIC SETS [J]. MANUSCRIPTA MATHEMATICA, 1993, 80 (01) : 73 - 79
- [40] Logarithmic limit sets of real semi-algebraic sets [J]. ADVANCES IN GEOMETRY, 2013, 13 (01) : 155 - 190