An Axiomatic Approach to Robust Geometri
โ
Peter Schorn
๐
Article
๐
1993
๐
Elsevier Science
๐
English
โ 337 KB
Creating robust geometric programs, i.e., programs that handle degenerate configurations correctly, is a difficult problem, especially if the underlying geometric primitives are implemented in floating point arithmetic. This paper presents an axiomatic method for constructing programs built on impre