Scientific Computation on Mathematical Problems and Conjectures