TR-2004-09: About Analysa. Analysa is a problem-solving environment (PSE) for partial differential equations (PDE) in two or three dimensions using the language of variational formulations. It uses Scheme as a scripting language, with numerous libraries incorporated automatically. Part of the novelty in Analysa is that it allows one to define arbitrary variational forms, and it provides a notation for the action of these forms. The forms can have an arbitrary number of variables, and the resulting forms are evaluated efficiently both in terms of computation and storage. Arbitrary order piecewise polynomial spaces can be specified.