# Formal Verification of a Topological Spatial Relations Model for Geographic Information Systems in Coq

> Research article (Mathematics, 2023) · cited 10× · AI/ML

**Wikidata**: [openalex:W4321497549](https://www.wikidata.org/wiki/openalex:W4321497549)  
**Source**: https://4ort.xyz/entity/formal-verification-of-a-topological-spatial-relations-model-for-geographic-information-systems-in-coq