Media type: E-Article Title: Lecture Notes in Computer Science: Provably Correct Floating-Point Implementation of a Point-in-Polygon Algorithm Contributor: Moscato, Mariano M.; Titolo, Laura; Feliú, Marco A.; Muñoz, César A. Published: Springer International Publishing, 2019 Published in: Lecture Notes in Computer Science (2019), Seite 21-37 Language: Not determined DOI: 10.1007/978-3-030-30942-8_3 ISBN: 9783030309411; 9783030309428 ISSN: 0302-9743; 1611-3349 Origination: Footnote: