On condition numbers and the distance to the nearest III-posted problem
Numerische Mathematik
Journal of Symbolic Computation
Algebraic computation, numerical computation and verified inclusions
Trends in computer algebra
Quantifier elimination and the sign variation method for real root isolation
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Complexity of computation on real algebraic numbers
Journal of Symbolic Computation
Algorithms for polynomial real root isolation
Algorithms for polynomial real root isolation
About a New Method for Computing in Algebraic Number Fields
EUROCAL '85 Research Contributions from the European Conference on Computer Algebra-Volume 2
Polynomial real root isolation by differentiation
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
Interval arithmetic applied to polynomial remainder sequences
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
On the sign of a real algebraic number
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
Polynomial real root isolation using Descarte's rule of signs
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
Algorithms for polynomials over a real algebraic number field.
Algorithms for polynomials over a real algebraic number field.
Methods and Applications of Interval Analysis (SIAM Studies in Applied and Numerical Mathematics) (Siam Studies in Applied Mathematics, 2.)
Polynomial real root isolation using approximate arithmetic
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
ESOLID---A System for Exact Boundary Evaluation
Proceedings of the seventh ACM symposium on Solid modeling and applications
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Reducing exact computations to obtain exact results based on stabilization techniques
Proceedings of the 2009 conference on Symbolic numeric computation
On computability and some decision problems of parametric weighted finite automata
Journal of Automata, Languages and Combinatorics
Hi-index | 0.00 |