1: \begin{abstract}

2:  Smale's $\alpha$-theory uses estimates related to the convergence of

3:  Newton's method to certify that Newton iterations

4:  will converge quadratically to solutions to a square polynomial system.

5:  The program \alphaCertS implements algorithms based on $\alpha$-theory to certify

6:  solutions of polynomial systems using both exact rational arithmetic and

7:  arbitrary precision floating point arithmetic.

8:  It also implements algorithms that certify whether a given point corresponds to a real

9:  solution, and algorithms to heuristically validate solutions to

10:  overdetermined systems.  Examples are presented to demonstrate the algorithms.

11: \end{abstract}