Checking geometric programs or verification of geometric structures

DOI10.1016/S0925-7721(98)00036-4MaRDI QIDQ1286479zbMATH OpenOpenAlexWikidataFDO

Authors S. Näher, Michael Seel, Raimund Seidel, Thomas Schilz, Stefan Schirra, Christian Uhrig, K. Mehlhorn

Publication date 3 May 1999

Published in Computational Geometry (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0925-7721(98)00036-4

zbMATH Keywords

LEDA system

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Recommendations

• Checking the convexity of polytopes and the planarity of subdivisions (extended abstract)
• Checking the convexity of polytopes and the planarity of subdivisions
• Designing programs that check their work
• scientific article; zbMATH DE number 1390248

Cited in

(15)

• Checking the convexity of polytopes and the planarity of subdivisions
• FO model checking on geometric graphs
• Recent progress in exact geometric computation
• Construction sequences and certifying 3-connectivity
• Certifying algorithms
• A CASE STUDY IN ALGORITHM ENGINEERING FOR GEOMETRIC COMPUTING
• On the design of CGAL a computational geometry algorithms library
• scientific article; zbMATH DE number 1390248 (Why is no real title available?)
• Checking the convexity of polytopes and the planarity of subdivisions (extended abstract)
• Automatic Verification of Regular Constructions in Dynamic Geometry Systems
• Triangulations of Line Segment Sets in the Plane
• Efficient authenticated data structures for graph connectivity and geometric search problems
• Short tops and semistable degenerations
• Constructing convex 3-polytopes from two triangulations of a polygon
• An efficient local approach to convexity testing of piecewise-linear hypersurfaces

Describes a project that uses

Uses Software

• LEDA
• Hull

This page was built for publication: Checking geometric programs or verification of geometric structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1286479)