Hidden verification for computational mathematics - Gottliebsen, H; Kelsey, T; Martin, U (J. Symb. Comput., 2005)