Region Quadtrees (Q7361578)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry Region_Quadtrees
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Region Quadtrees |
AFP entry Region_Quadtrees |
Statements
26 January 2024
0 references
Tobias Nipkow
0 references
Region Quadtrees (English)
0 references
These theories formalize region quadtrees , which are traditionally used to represent two-dimensional images of (black and white) pixels. Building on these quadtrees, addition and multiplication of recursive block matrices are verified. The generalization of region quadtrees to \(k\) dimensions is also formalized.
0 references
