Գրեք սա: The interface of three areas of computer science with the mathematical sciences