Checking Geometric Programs or Verification of Geometric Structures - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Kurt Mehlhorn' in GoogleThis author has not been identified. Look up 'Stefan Näher' in GoogleThis author has not been identified. Look up 'Thomas Schilz' in GoogleThis author has not been identified. Look up 'Stefan Schirra' in GoogleThis author has not been identified. Look up 'Michael Seel' in GoogleThis author has not been identified. Look up 'Raimund Seidel' in GoogleThis author has not been identified. Look up 'Christian Uhrig' in Google

runs on WebDSL