Computer algebra in interface design research

Tools to design, analyse and evaluate user interfaces can be used in user interface design research and in interface modelling research. This demonstration shows two working systems: one in Mathematica that is mathematically sophisticated, and one as a 'conventional' rapid application development environment, where the mathematics is hidden, and which could form the basis of a professional design tool --- but which is based rigorously on the same algebraic formalism.