We have tags for both software and for mathematical-software. Some questions are tagged with both. I propose these be merged. Please comment if you disagree!