Title: Integrating technology in the mathematical sciences