An axiomatic approach to robust geometric programs

DOI10.1006/jsco.1993.1039zbMath0799.68194OpenAlexW2015255561MaRDI QIDQ1332653

Peter Schorn

Publication date: 31 August 1994

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jsco.1993.1039

zbMATH Keywords

floating point arithmeticplane sweep algorithmdegenerate configurationsrobust geometric programs

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Specification and verification (program logics, model checking, etc.) (68Q60) Software, source code, etc. for problems pertaining to geometry (51-04)

Related Items

Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof ⋮ Recent progress in exact geometric computation