Checking Geometric Programs or Verification of Geometric Structures (1996)

Cached

Download Links

by Kurt Mehlhorn , Stefan Näher , Michael Seel , Raimund Seidel , Thomas Schilz , Stefan Schirra , Christian Uhrig
Venue:IN PROC. 12TH ANNU. ACM SYMPOS. COMPUT. GEOM
Citations:30 - 6 self