MIPS (Mathematical Investigation of Pitch Systems) is a mathematical formal language for investigating the structural properties of Musical scales, pitch systems and their associated notational systems. MIPS models a whole class of pitch notation systems that contains the Western staff notation system as one of its members.

MIPS has been implemented as a computer program written in Common Lisp.

The complete specification containing the lisp implementation is available here.