Title: Solutions for Using computers in mathematics