Verifiable implementations of geometric algorithms using finite precision arithmetic

Victor J. Milenkovic

Research output: Contribution to journalArticlepeer-review

64 Scopus citations


Two methods are proposed for correct and verifiable geometric reasoning using finite precision arithmetic. The first method, data normalization, transforms the geometric structure into a configuration for which all finite precision calculations yield correct answers. The second method, called the hidden variable method, constructs configurations that belong to objects in an infinite precision domain-without actually representing these infinite precision objects. Data normalization is applied to the problem of modeling polygonal regions in the plane, and the hidden variable method is used to calculate arrangements of lines.

Original languageEnglish (US)
Pages (from-to)377-401
Number of pages25
JournalArtificial Intelligence
Issue number1-3
StatePublished - Dec 1988
Externally publishedYes

ASJC Scopus subject areas

  • Language and Linguistics
  • Linguistics and Language
  • Artificial Intelligence


Dive into the research topics of 'Verifiable implementations of geometric algorithms using finite precision arithmetic'. Together they form a unique fingerprint.

Cite this