Henning Thielemann

Henning Thielemann

Our paper presents an attempt to axiomatise signal processing. Our long-term goal is to formulate signal processing algorithms for an ideal world of exact computation and prove properties about them, then interpret these ideal formulations and apply them without change to real world discrete data. We give models of the axioms that are based on Gaussian functions, that allow for exact computations and automated tests of signal algorithm properties.

Henning Thielemann

We aim for composing algorithmic music in an interactive way with multiple participants. To this end we have developed an interpreter for a sub-language of the non-strict functional programming language Haskell that allows the modification of a program during its execution. Our system can be used both for musical live-coding and for demonstration and education of functional programming.

Henning Thielemann

We aim to compose algorithmic music in an interactive way with multiple participants. To this end we develop an interpreter for a sub-language of the non-strict functional programming language Haskell that allows to modify the program during its execution. Our system can be used both for musical live-coding and for demonstration and education of functional programming.