Here you can find information about software I have developed or am working on in connection with research projects.
Demonstration software related to a current project to implement quasi-Schenkerian analysis by computer.
Applet to illustrate how the pattern of prime factors of natural numbers, and hence of prime numbers, can be illustrated in a quasi-musical fashion.
Software examples for 'Timing in Music and Modal Temporal Logic', Journal of Mathematics and Music, v.1 (2007), 173-189.
Software to represent and manipulate melodies in a structural graph representation (see 'Representing Melodic Patterns as Networks of Elaborations').
Examples of representations and implementations of procedures discussed in Representing Musical Time: A Temporal-Logic Approach.