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