共 50 条
- [21] Computing the First Betti Number of a Semi-Algebraic Set Foundations of Computational Mathematics, 2008, 8 : 97 - 136
- [22] Computing Cylindrical Algebraic Decomposition via Triangular Decomposition ISSAC2009: PROCEEDINGS OF THE 2009 INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION, 2009, : 95 - 102
- [24] Real Root Finding for Equivariant Semi-algebraic Systems ISSAC'18: PROCEEDINGS OF THE 2018 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION, 2018, : 335 - 342
- [28] P-ADIC SEMI-ALGEBRAIC SETS AND CELL DECOMPOSITION JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK, 1986, 369 : 154 - 166