Theoretical computer science and computational mathematics