A linear algorithm for embedding planar graphs using PQ-trees
Journal of Computer and System Sciences
Numerical stability of geometric algorithms
SCG '87 Proceedings of the third annual symposium on Computational geometry
Designing programs that check their work
STOC '89 Proceedings of the twenty-first annual ACM symposium on Theory of computing
Reflections on the Pentium Division Bug
IEEE Transactions on Computers
Checking geometric programs or verification of geometric structures
Proceedings of the twelfth annual symposium on Computational geometry
Software reliability via run-time result-checking
Journal of the ACM (JACM)
Combinatorial optimization
Modern computer algebra
A core library for robust numeric and geometric computation
SCG '99 Proceedings of the fifteenth annual symposium on Computational geometry
Error Bounds for Zeros of a Polynomial Based Upon Gerschgorin's Theorems
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Fundamental problems of algorithmic algebra
Fundamental problems of algorithmic algebra
LEDA: a platform for combinatorial and geometric computing
LEDA: a platform for combinatorial and geometric computing
ESOLID---A System for Exact Boundary Evaluation
Proceedings of the seventh ACM symposium on Solid modeling and applications
Certifying and repairing solutions to large LPs how good are LP-solvers?
SODA '03 Proceedings of the fourteenth annual ACM-SIAM symposium on Discrete algorithms
A Computational Basis for Conic Arcs and Boolean Operations on Conic Polygons
ESA '02 Proceedings of the 10th Annual European Symposium on Algorithms
On the algebraic complexity of set equality and inclusion
Information Processing Letters
Electronic Notes in Theoretical Computer Science (ENTCS)
On the algebraic complexity of set equality and inclusion
Information Processing Letters
Consistency analysis of decision-making programs
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
| Hi-index | 0.00 |