Mathematical and Algorithmic Foundations of the Internet