Computational Counterpoint Worlds: Mathematical Theory, Software, and Experiments