Title: Interface of Three Areas of Computer Science with the Mathematical Sciences