Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/simonscheider/Algebra-of-spatio-temporal-information-generation

Algebra of spatio-temporal-information-generation
https://github.com/simonscheider/Algebra-of-spatio-temporal-information-generation

Last synced: 5 days ago
JSON representation

Algebra of spatio-temporal-information-generation

Awesome Lists containing this project

README

        

# Algebra-of-spatio-temporal-information-generation
Algebra of spatio-temporal-information-generation

An [Isabelle](https://isabelle.in.tum.de/) theory describing spatio-temporal data generation. It is a supplement to the paper
_Modelling spatio-temporal information generation_ ([draft pdf](http://geographicknowledge.de/pdf/generativealgebra.pdf)).
The theory contains no proofs because all necessary reasoning is done on the type checking level.

Authors: Simon Scheider, Benedikt Gräler, Christoph Stasch and Edzer Pebesma.