Boolean algebra over linear polyhedra

DOI10.1016/0010-4485(89)90055-9MaRDI QIDQ1262694zbMATH OpenOpenAlexFDO

Authors M. Ramella, A. Santarelli, Alberto Paoluzzi

Publication date 1989

Published in CAD. Computer-Aided Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0010-4485(89)90055-9

zbMATH Keywords

boundary representation schemecomputer-aided designsolid modellingtriangulationwinged-triangle representation

Mathematics Subject Classification ID

Stone spaces (Boolean spaces) and related structures (06E15) Algorithms for approximation of functions (65D15)

Review text

The authors give a new boundary representation scheme for solid modelling of polyhedra, called the winged-triangle representation. This representation is based on a triangulation of the object faces, which yields a relational representation with tuples of constant length. The set of models representable in this scheme is a Boolean algebra, therefore the intersection and difference of polyhedra may be obtained from union and complements.

Recommendations

• Boolean polynomials and linear transformations
• Boolean algebras and similar lattices
• On Boolean polynomials
• Computing Boolean Gröbner bases within linear algebra
• Boolean-linear spaces
• Polytopal linear algebra
• scientific article; zbMATH DE number 3880684
• scientific article; zbMATH DE number 3884230
• Algorithms for computing the linearity and degree of vectorial Boolean functions
• scientific article; zbMATH DE number 4131953

Cited in

(8)

• Hierarchical structure to winged-edge structure: A conversion algorithm
• Resolvable representation of polyhedra
• Inner and outer rounding of Boolean operations on lattice polygonal regions
• scientific article; zbMATH DE number 3888950 (Why is no real title available?)
• scientific article; zbMATH DE number 3870615 (Why is no real title available?)
• scientific article; zbMATH DE number 1234611 (Why is no real title available?)
• scientific article; zbMATH DE number 1875976 (Why is no real title available?)
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Boolean algebra over linear polyhedra

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