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

• Host: GitHub
• URL: https://github.com/simonscheider/Algebra-of-spatio-temporal-information-generation
• Owner: simonscheider
• Created: 2015-11-04T14:26:20.000Z (about 9 years ago)
• Default Branch: master
• Last Pushed: 2015-11-13T16:08:07.000Z (almost 9 years ago)
• Last Synced: 2024-08-01T12:29:29.976Z (3 months ago)
• Language: Isabelle
• Size: 137 KB
• Stars: 2
• Watchers: 3
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

• awesome-starred - simonscheider/Algebra-of-spatio-temporal-information-generation - Algebra of spatio-temporal-information-generation (others)

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.