1: \begin{abstract}

2: This article describes a normal form algorithm for the Brieskorn lattice of an isolated hypersurface singularity.

3: It is the basis of efficient algorithms to compute the Bernstein--Sato polynomial, the complex monodromy, and Hodge--theoretic invariants of the singularity such as the spectral pairs and good bases of the Brieskorn lattice.

4: The algorithm is a variant of Buchberger's normal form algorithm for power series rings using the idea of partial standard bases and adic convergence replacing termination.

5: \end{abstract}

6: