Hidden verification for computational mathematics (J. Symb. Comput., 2005)

(untitled) - Gottliebsen, H; Kelsey, T; Martin, U