Efficient exact arithmetic for computational geometry
SCG '93 Proceedings of the ninth annual symposium on Computational geometry
A pivoting algorithm for convex hulls and vertex enumeration of arrangements and polyhedra
Discrete & Computational Geometry - Special issue on ACM symposium on computational geometry, North Conway
Mathematical Programming: Series A and B
Las Vegas algorithms for linear and integer programming when the dimension is small
Journal of the ACM (JACM)
LEDA: a platform for combinatorial and geometric computing
Communications of the ACM
Linear programming 1: introduction
Linear programming 1: introduction
Computing exact geometric predicates using modular arithmetic with single precision
SCG '97 Proceedings of the thirteenth annual symposium on Computational geometry
Interval arithmetic yields efficient dynamic filters for computational geometry
Proceedings of the fourteenth annual symposium on Computational geometry
Which pivot to solve linear systems?
Journal of Computational and Applied Mathematics
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
On Hoffman's celebrated cycling LP example
Computers and Operations Research
On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Operations Research Letters
Hi-index | 0.00 |