• # PPL

• Referenced in 101 articles [sw05357]
• Possibly not closed convex polyhedra and the Parma Polyhedra Library. The domain of convex polyhedra ... Cousot and N. Halbwachs, convex polyhedra have thus played an important role in the formal ... existing libraries for the manipulation of convex polyhedra are still research prototypes and suffer from ... robust and complete implementation of NNC convex polyhedra, concentrating on the distinctive features...
• # Convex

• Referenced in 33 articles [sw07770]
• affine” convex geometry. In the affine setting, the basic objects are polyhedra, which are intersections ... many (affine) halfspaces. Polyhedra can also be described as the convex hull of finitely many ... also called a polytope. In the Convex package, polyhedra are represented by the type POLYHEDRON ... generated by finitely many rays. In the Convex package, cones are represented by the type...
• # PolyLib

• Referenced in 47 articles [sw09923]
• parameterized unions of polyhedra through the following operations: intersection, difference, union, convex hull, simplify, image...
• # CGAL

• Referenced in 394 articles [sw00118]
• diagrams), polygons (Boolean operations, offsets, straight skeleton), polyhedra (Boolean operations), arrangements of curves and their ... approximation of ridges and umbilics), alpha shapes, convex hull algorithms...
• # V-Clip

• Referenced in 11 articles [sw33996]
• closest pair of features between convex polyhedra, using an approach reminiscent of the Lin-Canny ... detect collisions between nonvconvex polyhedra described as hierarchies of convex pieces. The article presents...
• # Polyhedra

• Referenced in 9 articles [sw12128]
• Polyhedra: a package for computations with convex polyhedral objects. Convex polyhedral objects play an important ... geometry. The package Polyhedra enables one to work with such convex polyhedral objects in Macaulay ... representing polyhedra, cones, and fans. Many standard operations, such as intersections, duality, convex hulls...
• # Alpha

• Referenced in 6 articles [sw13717]
• topics (parallelization, code generation, language semantics, convex polyhedra calculus, abstract and non-standard interpretation, program...
• # OldPolyhedra

• Referenced in 2 articles [sw27525]
• Macaulay2 package OldPolyhedra -- for computations with convex polyhedra, cones, and fans. A rational convex Polyhedron ... vertices and rays. A rational convex polyhedral Cone is the intersection of finitely many linear ... intersection is a face of each. Polyhedra uses the FourierMotzkin package by Gregory G. Smith...
• # PALP

• Referenced in 70 articles [sw00672]
• lattice points in the convex hull of a given set of points. In addition, there ... tasks such as the classification of reflexive polyhedra in 4 dimensions and the creation...
• # IJK

• Referenced in 1 article [sw21790]
• generating isosurface lookup tables for arbitrary convex polyhedra in arbitrary dimensions. It contains an implementation...
• # Kaleido

• Referenced in 8 articles [sw05940]
• Uniform solution for uniform polyhedra. A uniform polyhedron in 3-dimensional space has faces which ... planar regular polygons (not necessarily convex), and finitely many vertices which are equivalent under ... provided a complete enumeration of the uniform polyhedra, together with a limited amount of metrical...