Computer approaches to mathematical problems