Solving systems of polynomial inequalities in subexponential time
Journal of Symbolic Computation
Complexity of finding irreducible components of a semialgebraic set
Journal of Complexity
Decision tree complexity and Betti numbers
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
Finding irreducible components of some real transcendental varieties
Computational Complexity
On the combinatorial and algebraic complexity of quantifier elimination
Journal of the ACM (JACM)
Polynomial-time computation of the dimension of algebraic varieties in zero-characteristic
Journal of Symbolic Computation
Fast parallel calculation of the rank of matrices over a field of arbitrary characteristic
FCT '85 Fundamentals of Computation Theory
Computing local dimension of a semialgebraic set
STOC '98 Proceedings of the thirtieth annual ACM symposium on Theory of computing
Algebraic and Semialgebraic Proofs: Methods and Paradoxes
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
Computer algebra handbook
| Hi-index | 0.00 |