Pages that link to "Item:Q1174819"

The following pages link to Topological models for boundary representation: A comparison with \(n\)- dimensional generalized maps (Q1174819):

Displaying 33 items.

• Formal specification and proofs for the topology and classification of combinatorial surfaces (Q396466) (← links)
• Designing and proving correct a convex hull algorithm with hypermaps in Coq (Q448980) (← links)
• Efficient search of combinatorial maps using signatures (Q630606) (← links)
• Topological rewriting and the geometrization of programming (Q933444) (← links)
• Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof (Q944364) (← links)
• Region merging with topological control (Q967403) (← links)
• Geometric construction by assembling solved subfigures (Q1128611) (← links)
• Formalizing mathematics in higher-order logic: A case study in geometric modelling (Q1575663) (← links)
• Consistently oriented dart-based 3D modelling by means of geometric algebra and combinatorial maps (Q1728285) (← links)
• Representing geometric structures in \(d\) dimensions: Topology and order (Q1802222) (← links)
• Chain models in computer simulation (Q1877712) (← links)
• Homological spanning forest framework for 2D image analysis (Q1926586) (← links)
• Tubular parametric volume objects: thickening a piecewise smooth 3D stick figure (Q2020360) (← links)
• Three-dimensional maps and subgroup growth (Q2148107) (← links)
• Equivalence between closed connected \(n\)-\(G\)-maps without multi-incidence and \(n\)-surfaces (Q2319524) (← links)
• Homology of cellular structures allowing multi-incidence (Q2354674) (← links)
• \(n\)D generalized map pyramids: definition, representations and basic operations (Q2369581) (← links)
• Design and formal proof of a new optimal image segmentation program with hypermaps (Q2643883) (← links)
• MGS (Q2841247) (← links)
• Generalized Gandy-Păun-Rozenberg Machines for Tile Systems and Cellular Automata (Q2890298) (← links)
• Frequent Submap Discovery (Q3011873) (← links)
• Combinatorics on Adjacency Graphs and Incidence Pseudographs (Q3438928) (← links)
• A Polynomial Algorithm for Submap Isomorphism (Q3637692) (← links)
• 3D Topological Map Extraction from Oriented Boundary Graph (Q3637710) (← links)
• A First Step toward Combinatorial Pyramids in n-D Spaces (Q3637711) (← links)
• Border Operator for Generalized Maps (Q3648793) (← links)
• Combinatorial Maps for 2D and 3D Image Segmentation (Q4648758) (← links)
• Algebraic specification and development in geometric modeling (Q5044726) (← links)
• Computing Canonical Polygonal Schemata with Generalized Maps (Q5301025) (← links)
• Insertion and Expansion Operations for n-Dimensional Generalized Maps (Q5458882) (← links)
• First Results for 3D Image Segmentation with Topological Map (Q5458922) (← links)
• 3D Image Topological Structuring with an Oriented Boundary Graph for Split and Merge Segmentation (Q5458927) (← links)
• Homomorphisms between graphs embedded in surfaces (Q6201918) (← links)