Mathematically provable correct implementation of integrated 2D and 3D representations [chapter]

Rodney Thompson, Peter van Oosterom
2008 Lecture Notes in Geoinformation and Cartography  
The concept of the 'Regular Polytope' has been designed to facilitate the search for a rigorous closed algebra for the query and manipulation of the representations of spatial objects within the finite precision of a computer implementation. It has been shown to support a closed, complete and useful algebra of connectivity, and support a topology, without assuming the availability of infinite precision arithmetic. This paper explores the practicalities of implementing this approach both in
more » ... of the database schema and in terms of the algorithmic implementation of the connectivity and topological predicates and functions. The problem domains of Cadastre and Topography have been chosen to illustrate the issues.
doi:10.1007/978-3-540-72135-2_15 fatcat:q5uidmznq5aole3lksocy37et4