@inbook{f47271082ebd4d76a2d8016a284aa2f0,
title = "Region Quadtrees Verified",
abstract = "This paper presents the formalization and verification (in the proof assistant Isabelle) of two variants of quadtrees: standard region quadtrees and quadtrees for matrix algebra.",
author = "Tobias Nipkow",
note = "Publisher Copyright: {\textcopyright} The Author(s), under exclusive license to Springer Nature Switzerland AG 2024.",
year = "2024",
doi = "10.1007/978-3-031-56222-8_14",
language = "English",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "243--254",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
}