Documents Related by Co-Citation

73 Efficient Delaunay triangulation using rational arithmetic – M Karasick, D Lieber, L Nackman - 1990
54 Safe and Effective Determinant Evaluation – Kenneth L. Clarkson - 1992
96 Efficient Exact Arithmetic for Computational Geometry – Steven Fortune, Christopher J. Van Wyk - 1993
40 Evaluating Signs of Determinants Using Single-Precision Arithmetic – Francis Avnaim, Jean-Daniel Boissonnat, Olivier Devillers, Franco P. Preparata, Mariette Yvinec - 1994
106 A floating-point technique for extending the available precision – T J Dekker - 1971
460 Primitives for the manipulation of general subdivisions and the computation of Voronoi diagrams – L Guibas, J Stolfi - 1985
48 MPFUN: A Portable High Performance Multiprecision Package – David H. Bailey - 1990
46 The problems of accuracy and robustness in geometric computation – C M Hoffmann - 1989
260 The Art of Computer Programming: Seminumerical Algorithms, Addison-Wesley, third edition – D E Knuth - 1998
115 Two algorithms for constructing a Delaunay triangulation – D T Lee, B J Schacter - 1980
8950 The Nature of Statistical Learning Theory – Vladimir N. Vapnik - 1995
12 Analysis of some known methods of improving the accuracy of floatingpoint sums – Seppo Linnainmaa - 1974
29 Defining the IEEE-854 Floating-Point Standard in PVS – Paul S. Miner - 1995
3412 LIBSVM: a Library for Support Vector Machines – Chih-chung Chang, Chih-Jen Lin - 2001
3 Formal methods applied to a floating-point system – M Barratt - 1989
502 Introduction to HOL: A theorem proving environment for higher-order logic – Michael J C Gordon, Thomas F Melham - 1993
180 Elementary Functions, Algorithms and Implementation – J M Muller - 1997
396 Applications of Random Sampling in Computational Geometry, II – Kenneth L. Clarkson, Peter W. Shor - 1995
9 Static analysis of the numerical stability of loops – M Martel - 2002