Media type: E-Article Title: Checking geometric programs or verification of geometric structures Contributor: Mehlhorn, Kurt; Näher, Stefan; Seel, Michael; Seidel, Raimund; Schilz, Thomas; Schirra, Stefan; Uhrig, Christian imprint: Elsevier BV, 1999 Published in: Computational Geometry Language: English DOI: 10.1016/s0925-7721(98)00036-4 ISSN: 0925-7721 Keywords: Computational Mathematics ; Computational Theory and Mathematics ; Control and Optimization ; Geometry and Topology ; Computer Science Applications Origination: Footnote: Access State: Open Access