Exact geometric computation in LEDA
Proceedings of the eleventh annual symposium on Computational geometry
A simplified method of recognizing zero among elementary constants
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
On the combinatorial and algebraic complexity of quantifier elimination
Journal of the ACM (JACM)
On the complexity of diophantine geometry in low dimensions (extended abstract)
STOC '99 Proceedings of the thirty-first annual ACM symposium on Theory of computing
Interpolation of sparse multivariate polynomials over large finite fields with applications
Proceedings of the seventh annual ACM-SIAM symposium on Discrete algorithms
A strong and easily computable separation bound for arithmetic expressions involving square roots
SODA '97 Proceedings of the eighth annual ACM-SIAM symposium on Discrete algorithms
Exact computations of the inertia symmetric integer matrices
STOC '00 Proceedings of the thirty-second annual ACM symposium on Theory of computing
Some computations on the spectra of Pisot and Salem numbers
Mathematics of Computation
A formula for separating small roots of a polynomial
ACM SIGSAM Bulletin
Journal of Symbolic Computation
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
A Separation Bound for Real Algebraic Expressions
ESA '01 Proceedings of the 9th Annual European Symposium on Algorithms
Computer algebra handbook
Graph compression and the zeros of polynomials
Information Processing Letters
A theorem for separating close roots of a polynomial and its derivatives
ACM SIGSAM Bulletin
Numeric vs. symbolic homotopy algorithms in polynomial system solving: a case study
Journal of Complexity - Festschrift for the 70th birthday of Arnold Schönhage
Pseudozero set of interval polynomials
Proceedings of the 2006 ACM symposium on Applied computing
Exact, efficient, and complete arrangement computation for cubic curves
Computational Geometry: Theory and Applications
Distance bounds of ε-points on hypersurfaces
Theoretical Computer Science
Univariate polynomial real root isolation: continued fractions revisited
ESA'06 Proceedings of the 14th conference on Annual European Symposium - Volume 14
Computing monodromy groups defined by plane algebraic curves
Proceedings of the 2007 international workshop on Symbolic-numeric computation
On the complexity of real root isolation using continued fractions
Theoretical Computer Science
D-eigenvalues of diffusion kurtosis tensors
Journal of Computational and Applied Mathematics
Real Algebraic Numbers: Complexity Analysis and Experimentation
Reliable Implementation of Real Number Algorithms: Theory and Practice
Experimental evaluation and cross-benchmarking of univariate real solvers
Proceedings of the 2009 conference on Symbolic numeric computation
Computing clustered close-roots of univariate polynomials
Proceedings of the 2009 conference on Symbolic numeric computation
Exact, efficient, and complete arrangement computation for cubic curves
Computational Geometry: Theory and Applications
Numeric vs. symbolic homotopy algorithms in polynomial system solving: a case study
Journal of Complexity - Festschrift for the 70th birthday of Arnold Schönhage
The DMM bound: multivariate (aggregate) separation bounds
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
Algebraic and numerical algorithms
Algorithms and theory of computation handbook
Exact algorithms for solving stochastic games: extended abstract
Proceedings of the forty-third annual ACM symposium on Theory of computing
Univariate real root isolation in an extension field
Proceedings of the 36th international symposium on Symbolic and algebraic computation
Splitting fields for characteristic polynomials of matrices with entries in a finite field
Finite Fields and Their Applications
A Novel Solution to the P4P Problem for an Uncalibrated Camera
Journal of Mathematical Imaging and Vision
On the boolean complexity of real root refinement
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
Journal of Symbolic Computation
On the infinite families of zero bounds of complex polynomials
Journal of Computational and Applied Mathematics
Hi-index | 0.00 |