The Becker-Döring equations with exponentially size-dependent rate coefficients

This paper is concerned with an analysis of the Becker-Döring equations which lie at the heart of a number of descriptions of non-equilibrium phase transitions and related complex dynamical processes. The Becker-Döring theory describes growth and fragmentation in terms of stepwise addition or removal of single particles to or from clusters of similar particles and has been applied to a wide range of problems of physicochemical and biological interest within recent years. Here we consider the case where the aggregation and fragmentation rates depend exponentially on cluster size. These choices of rate coefficients at least qualitatively correspond to physically realistic molecular clustering scenarios such as occur in, for example, simulations of simple fluids. New similarity solutions for the constant monomer Becker-Döring system are identified, and shown to be generic in the case of aggregation and fragmentation rates that depend exponentially on cluster size.

On the comparison of proof planning systems: Lambda-clam, Omega and IsaPlanner

We present a framework for describing proof planners. This framework is based around a decomposition of proof planners into planning states, proof language, proof plans, proof methods, proof revision, proof control and planning algorithms. We use this framework to motivate the comparison of three recent proof planning systems, lclam, OMEGA and IsaPlanner, and demonstrate how the framework allows us to discuss and illustrate both their similarities and differences in a consistent fashion. This analysis reveals that proof control and the use of contextual information in planning states are key areas in need of further investigation.