The complexity of elementary algebra and geometry
Journal of Computer and System Sciences
Journal of Symbolic Computation
On the computation of the local and global analytic branches of a real algebraic curve
Proceedings of the 5th international conference, AAECC-5 on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition
Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Arithmetic with real algebraic numbers is in NC
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
A theorem on random polynomials and some consequences in average complexity
Journal of Symbolic Computation
Working with real algebraic plane curves in REDUCE the GCUR package
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Real algebraic number computation using interval arithmetic
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
On the combinatorial and algebraic complexity of quantifier elimination
Journal of the ACM (JACM)
Computing the first Betti number and the connected components of semi-algebraic sets
Proceedings of the thirty-seventh annual ACM symposium on Theory of computing
Real Algebraic Numbers: Complexity Analysis and Experimentation
Reliable Implementation of Real Number Algorithms: Theory and Practice
Exact real computation in computer algebra
SNSC'01 Proceedings of the 2nd international conference on Symbolic and numerical scientific computation
Linear solving for sign determination
Theoretical Computer Science
| Hi-index | 0.00 |
This paper is devoted to a precise algorithmical and complexity study of a new polynomial time method for formal computations with polynomial inequalities and real algebraic numbers.