Computational Counterpoint Worlds: Mathematical Theory, Software, and Experiments (Computational Music Science)