Checking Geometric Programs or Verification of Geometric Structures

Kurt Mehlhorn, Stefan Näher, Thomas Schilz, Stefan Schirra, Michael Seel, Raimund Seidel, Christian Uhrig. Checking Geometric Programs or Verification of Geometric Structures. In Symposium on Computational Geometry. pages 159-165, 1996. [doi]

Abstract

Abstract is missing.