Verifiable implementations of geometric algorithms using finite precision arithmetic

From MaRDI portal
Publication:1116270

DOI10.1016/0004-3702(88)90061-6zbMath0665.65014OpenAlexW2048401959MaRDI QIDQ1116270

Victor J. Milenkovic

Publication date: 1988

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(88)90061-6



Related Items



Cites Work