The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
The calculation of multivariate polynomial resultants
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Algorithms for exact polynomial root calculation
Algorithms for exact polynomial root calculation
Computer Algebra: Past and Future
Journal of Symbolic Computation
A fast parallel algorithm for determining all roots of a polynomial with real roots
STOC '86 Proceedings of the eighteenth annual ACM symposium on Theory of computing
ACM SIGSAM Bulletin
Computer algebra applied to itself
Journal of Symbolic Computation
Solving systems of polynomial inequalities in subexponential time
Journal of Symbolic Computation
Complexity of deciding Tarski algebra
Journal of Symbolic Computation
The complexity of deciding consistency of systems of polynomials in exponent inequalities
Journal of Symbolic Computation
Efficient and accurate B-rep generation of low degree sculptured solids using exact arithmetic
SMA '97 Proceedings of the fourth ACM symposium on Solid modeling and applications
Fast Probabilistic Algorithms for Verification of Polynomial Identities
Journal of the ACM (JACM)
An Exact Method for Finding the Roots of a Complex Polynomial
ACM Transactions on Mathematical Software (TOMS)
An Algorithm for Deciding the Convergence of the Rational Iteration xn+1= f(xn)
ACM Transactions on Mathematical Software (TOMS)
A new method for polynomial real root isolation
ACM-SE 16 Proceedings of the 16th annual Southeast regional conference
Symbolic mathematical computation in a Ph.D. computer science program
SIGCSE '72 Proceedings of the second SIGCSE technical symposium on Education in computer science
Polynomial real root isolation by differentiation
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
Symbolic mathematical computation in a Ph. D. computer science program
ACM SIGCSE Bulletin
On algorithms for solving systems of polynomial equations
ACM SIGSAM Bulletin
A short note on a new method for polynomial real root isolation
ACM SIGSAM Bulletin
Computing real zeros of polynomials with parametric coefficients
ACM SIGSAM Bulletin
Real Algebraic Numbers: Complexity Analysis and Experimentation
Reliable Implementation of Real Number Algorithms: Theory and Practice
The polynomial roots repartition and minimum roots separation
WSEAS Transactions on Mathematics
Isolating the polynomial roots with all zeros real
ICCOMP'08 Proceedings of the 12th WSEAS international conference on Computers
ACM Transactions on Graphics (TOG)
Comparative methods for the polynomial isolation
ICCOMP'09 Proceedings of the WSEAES 13th international conference on Computers
Congruence arithmetic algorithms for polynomial real zero determination
Journal of Computer and System Sciences
Random polynomials and expected complexity of bisection methods for real solving
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
Algebraic and numerical algorithms
Algorithms and theory of computation handbook
| Hi-index | 0.00 |