Computação exata em geometria projetiva orientada e tratamento de degenerações

Não informadoOne of the greatest challenges in computational geometry today is to build the bridge between theory and practice which requires tools for the robust implementation of the algorithms that populate the literature. We attempt here to contribute a step in this direction. In the first part of this thesis, we present an extension to the technique of symbolic perturbation for oriented projective geometry. We describe the implementation of a library based on this technique which consists of geometric primitives sufficient for programming a large class of robust geometric algorithms, using exact arithmetic. In the second part, we describe the design of GeoPrO: a distributed programming environment for geometric visualization. We present an overview of its classes that allow for easy extensibility and portability. Due to a client-server architecture, comprised of a kernel, with multiple contexts, applications and visualizers, GeoPrO supports distributed execution over a heterogeneous network. Visualizers are currently available for the planar and the spheric models of the oriented projective geometry, running on Silicon Graphics workstations, while another is being implemented in Java for multi-platform suppor