Checking geometric programs or verification of geometric structures

  • Authors:
  • Kurt Mehlhorn;Stefan Näher;Michael Seel;Raimund Seidel;Thomas Schilz;Stefan Schirra;Christian Uhrig

  • Affiliations:
  • -;-;-;-;-;-;-

  • Venue:
  • Selected papers from the 12th annual symposium on Computational Geometry
  • Year:
  • 1999

Quantified Score

Hi-index 0.00

Visualization

Abstract