- Cryptography, attacks on RSA - Raytracing - Rational approximation - Parsers and compilers - Formal logic and automatic theorem-proving - Dimensional analysis - Musical scale tempering