yellowsman/mathematics_solved_by_computer