RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

Formally certified floating-point filters for homogeneous geometric predicates

Guillaume Melquiond and Sylvain Pion

RAIRO-Theor. Inf. Appl., 41 1 (2007) 57-69

Published online: 24 April 2007

DOI: 10.1051/ita:2007005

Guillaume Melquiond

Sylvain Pion

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)