Email Record: Applications of continuous mathematics to computer science /