Solution of elementary systems of equations in a box in Rn
ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Model-checking continuous-time Markov chains
ACM Transactions on Computational Logic (TOCL)
An exact real algebraic arithmetic with equality determination
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Better simplification of elementary functions through power series
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
Use of algebraically independent numbers for zero recognition of polynomial terms
Journal of Complexity
A poly-algorithmic approach to simplifying elementary functions
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Shortest path amidst disc obstacles is computable
SCG '05 Proceedings of the twenty-first annual symposium on Computational geometry
Adherence is better than adjacency: computing the Riemann index using CAD
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
Counterexamples to the uniformity conjecture
Computational Geometry: Theory and Applications - Special issue on robust geometric algorithms and their implementations
Computations with effective real numbers
Theoretical Computer Science - Real numbers and computers
Real root isolation for exp-log functions
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
Theory of Real Computation According to EGC
Reliable Implementation of Real Number Algorithms: Theory and Practice
WALCOM '09 Proceedings of the 3rd International Workshop on Algorithms and Computation
Lower bounds for zero-dimensional projections
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Real root isolation for tame elementary functions
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Counterexamples to the uniformity conjecture
Computational Geometry: Theory and Applications - Special issue on robust geometric algorithms and their implementations
The design of core 2: a library for exact numeric computation in geometry and algebra
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
Algorithm engineering: bridging the gap between algorithm theory and practice
Algorithm engineering: bridging the gap between algorithm theory and practice
Journal of Symbolic Computation
Rounding coefficients and artificially underflowing terms in non-numeric expressions
ACM Communications in Computer Algebra
Real root isolation for exp-log-arctan functions
Journal of Symbolic Computation
Guessing singular dependencies
Journal of Symbolic Computation
| Hi-index | 0.00 |