• 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...
  • PORTA

  • Referenced in 126 articles [sw04869]
  • polytopes and polyhedra. The polyhedra are either given as the convex hull...
  • 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...
  • Groups & Graphs

  • Referenced in 10 articles [sw15344]
  • graphs, digraphs, graph embeddings, projective configurations, polyhedra, convex hulls, combinatorial designs, automorphism groups, and fractals...
  • SPeeDI

  • Referenced in 8 articles [sw00896]
  • propagation of constraints, typically (unions of convex) polyhedra or ellipsoids. In general, these techniques provide...
  • 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...
  • LinAIG

  • Referenced in 6 articles [sw10316]
  • called LinAIGs. LinAIGs represent (possibly non-convex) polyhedra extended by Boolean variables. Key components...
  • Alpha

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

  • Referenced in 6 articles [sw21787]
  • codes for vertex/facet enumeration problems for convex polyhedra. The problems chosen span the range from...
  • NewPolka

  • Referenced in 4 articles [sw14384]
  • Polka is a library to handle convex polyhedra, whose constraints and generators have rational coefficients...
  • PFC

  • Referenced in 14 articles [sw35142]
  • spheres in 3D, and convex polygons in 2D or polyhedra in 3D. Contact mechanics obey...
  • 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...
  • pypoman

  • Referenced in 1 article [sw41312]
  • This library implements common operations over convex polyhedra such as polytope projection, double description (conversion...
  • 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...