Before revision: We propose a new paradigm for robust geometric computations that complements the classical fixed precision paradigm and the exact geometric computation paradigm. We provide a framework where we study algorithmic problems under smoothed analysis of the input, the relaxation of the problem requirements, or the witness of a recognition problem .
After revision: We study algorithmic problems under smoothed analysis of the input, the relaxation of the problem requirements, or the witness of a recognition problem .