Toán học, tin học