TY  - RPRT
TI  - Provably Correct Floating-Point Implementation of a Point-In-Polygon Algorithm
AU  - Moscato, Mariano M.
AU  - Titolo, Laura
AU  - Feliu, Marco A.
AU  - Munoz, Cesar A.
PY  - 2019
UR  - https://ntrs.nasa.gov/citations/20200002745
ID  - 20200002745
ER  -