Publication Overview

Kurt Mehlhorn and Stefan Näher and Michael Seel and Raimund Seidel and Thomas Schilz and Stefan Schirra and Christian Uhrig

Checking geometric programs or verification of geometric structures

Published in: Comput. Geom.
Year: 1999
Volume: 12
Pages: 85-103