Algebra of spatio-temporal-information-generation
An Isabelle theory describing spatio-temporal data generation. It is a supplement to the paper Modelling spatio-temporal information generation (draft 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.