Algorithmic Derivation of Centre Conditions

The conditions for a critical point of a polynomial differential system to be a centre are of particular significance because of the frequency with which they are required in applications. We demonstrate how computer algebra can be effectively employed in the search for necessary and sufficient conditions for critical points of such systems to be centres. We survey recent developments and illustrate our approach by means of examples.