Integrating CS into Math